Skip to content

Actions: open-coder-ai/chock-copilot-plugins

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Publish Publish #7: Manually run by jothimani-rajendran
51s main
main
51s
docs: rewrite README as a landing page Security checks #18: Pull request #6 opened by jothimani-rajendran
22s docs/readme-landing
docs/readme-landing
22s
docs: rewrite README as a landing page Close hand-written pull requests #6: Pull request #6 opened by jothimani-rajendran
1s
1s
docs: rewrite README as a landing page Generated-only #18: Pull request #6 opened by jothimani-rajendran
15s docs/readme-landing
docs/readme-landing
15s
Merge pull request #5 from open-coder-ai/docs/contributor-readme Generated-only #17: Commit 516ad59 pushed by jothimani-rajendran
14s main
main
14s
Merge pull request #5 from open-coder-ai/docs/contributor-readme Security checks #17: Commit 516ad59 pushed by jothimani-rajendran
25s main
main
25s
docs: say what is welcome in a generated repo, and where it goes Security checks #16: Pull request #5 opened by jothimani-rajendran
21s docs/contributor-readme
docs/contributor-readme
21s
docs: say what is welcome in a generated repo, and where it goes Close hand-written pull requests #5: Pull request #5 opened by jothimani-rajendran
1s
1s
docs: say what is welcome in a generated repo, and where it goes Generated-only #16: Pull request #5 opened by jothimani-rajendran
18s docs/contributor-readme
docs/contributor-readme
18s
ci: derive the framework ref from the catalog instead of a typed default Generated-only #15: Pull request #4 synchronize by jothimani-rajendran
Queued ci/derive-framework-ref-from-catalog
ci/derive-framework-ref-from-catalog
Queued
ci: derive the framework ref from the catalog instead of a typed default Security checks #15: Pull request #4 synchronize by jothimani-rajendran
26s ci/derive-framework-ref-from-catalog
ci/derive-framework-ref-from-catalog
26s
ci: derive the framework ref from the catalog instead of a typed default HOL plugin scanner #1: Pull request #4 opened by jothimani-rajendran
45s ci/derive-framework-ref-from-catalog
ci/derive-framework-ref-from-catalog
45s
ci: derive the framework ref from the catalog instead of a typed default Close hand-written pull requests #4: Pull request #4 opened by jothimani-rajendran
2s
2s
ci: derive the framework ref from the catalog instead of a typed default Security checks #14: Pull request #4 opened by jothimani-rajendran
20s ci/derive-framework-ref-from-catalog
ci/derive-framework-ref-from-catalog
20s
ci: derive the framework ref from the catalog instead of a typed default Generated-only #14: Pull request #4 opened by jothimani-rajendran
28s ci/derive-framework-ref-from-catalog
ci/derive-framework-ref-from-catalog
28s
docs: say where the tests are and how to reproduce this tree Security checks #13: Pull request #3 opened by jothimani-rajendran
20s docs/verifiable-provenance
docs/verifiable-provenance
20s
docs: say where the tests are and how to reproduce this tree Generated-only #13: Pull request #3 opened by jothimani-rajendran
32s docs/verifiable-provenance
docs/verifiable-provenance
32s
docs: say where the tests are and how to reproduce this tree Close hand-written pull requests #3: Pull request #3 opened by jothimani-rajendran
1s
1s
Merge pull request #2 from open-coder-ai/ci/pin-framework-v0.7.0 Generated-only #12: Commit 6c2d6e7 pushed by jothimani-rajendran
30s main
main
30s
Merge pull request #2 from open-coder-ai/ci/pin-framework-v0.7.0 Security checks #12: Commit 6c2d6e7 pushed by jothimani-rajendran
20s main
main
20s
ci: pin the publish default to v0.7.0, the framework the tree was built with Close hand-written pull requests #2: Pull request #2 opened by jothimani-rajendran
8s
8s
ci: pin the publish default to v0.7.0, the framework the tree was built with Security checks #11: Pull request #2 opened by jothimani-rajendran
26s ci/pin-framework-v0.7.0
ci/pin-framework-v0.7.0
26s
ci: pin the publish default to v0.7.0, the framework the tree was built with Generated-only #11: Pull request #2 opened by jothimani-rajendran
31s ci/pin-framework-v0.7.0
ci/pin-framework-v0.7.0
31s
Merge pull request #1 from open-coder-ai/docs/badges Security checks #10: Commit fa3712c pushed by jothimani-rajendran
21s main
main
21s
Merge pull request #1 from open-coder-ai/docs/badges Generated-only #10: Commit fa3712c pushed by jothimani-rajendran
35s main
main
35s