Skip to content

Actions: hyperpolymath/deed-core

Actions

Idris2 Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
idris2-tests.yml
44 workflow runs
44 workflow runs

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
docs: add Signed commits section to CONTRIBUTING (#16) Idris2 Tests #44: Commit a1c1df4 pushed by hyperpolymath
2m 20s main
main
2m 20s
docs: add Signed commits section to CONTRIBUTING Idris2 Tests #43: Pull request #16 opened by hyperpolymath
6m 33s docs/signing-policy-d218
docs/signing-policy-d218
6m 33s
fix(ci): give callers the union of the reusable's declared permission… Idris2 Tests #42: Commit 90c20ed pushed by hyperpolymath
16m 4s main
main
16m 4s
fix(ci): give callers the union of the reusable's declared permissions Idris2 Tests #41: Pull request #15 opened by hyperpolymath
16m 2s fix/caller-permissions-union
fix/caller-permissions-union
16m 2s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Idris2 Tests #40: Commit d20da11 pushed by hyperpolymath
1h 42m 33s main
main
1h 42m 33s
ci(hypatia): standardise the wrapper caller id to the canonical hypatia Idris2 Tests #39: Pull request #14 opened by hyperpolymath
56m 14s fix/hypatia-caller-id
fix/hypatia-caller-id
56m 14s
fix(ci): pin third-party actions to full commit SHAs (#13) Idris2 Tests #38: Commit 9ee4bf0 pushed by hyperpolymath
1m 47s main
main
1m 47s
fix(ci): pin third-party actions to full commit SHAs Idris2 Tests #37: Pull request #13 opened by hyperpolymath
9m 43s fix/sha-pin-actions
fix/sha-pin-actions
9m 43s
e-pin the estate reusables to the last accepted standards ref (#12) Idris2 Tests #36: Commit c026c94 pushed by hyperpolymath
1m 32s main
main
1m 32s
e-pin the estate reusables to the last accepted standards ref Idris2 Tests #35: Pull request #12 opened by hyperpolymath
38s fix/repin-accepted
fix/repin-accepted
38s
fix(ci): the same illegal reusable refs in the nested workflow copies… Idris2 Tests #34: Commit fba7446 pushed by hyperpolymath
15m 33s main
main
15m 33s
fix(ci): the same illegal reusable refs in the nested workflow copies Idris2 Tests #33: Pull request #11 opened by hyperpolymath
16m 4s fix/reusable-workflow-refs
fix/reusable-workflow-refs
16m 4s
fix(ci): call the estate reusables by their real ref — these never pa… Idris2 Tests #32: Commit 33e1fc8 pushed by hyperpolymath
15m 31s main
main
15m 31s
fix(ci): call the estate reusables by their real ref — these never parsed Idris2 Tests #31: Pull request #10 opened by hyperpolymath
4m 41s fix/reusable-workflow-refs
fix/reusable-workflow-refs
4m 41s
chore(ci): drop the dead CONTRIBUTING delete rule in the vscode workf… Idris2 Tests #30: Commit 7fcb0fe pushed by hyperpolymath
14m 9s main
main
14m 9s
chore(ci): drop the dead CONTRIBUTING delete rule in the vscode workflow Idris2 Tests #29: Pull request #9 opened by hyperpolymath
2m 46s chore/drop-dead-contributing-delete-rule
chore/drop-dead-contributing-delete-rule
2m 46s
fix(docs): render the repository-structure tree as a tree (#8) Idris2 Tests #28: Commit 1d1c168 pushed by hyperpolymath
1m 13s main
main
1m 13s
fix(docs): render the repository-structure tree as a tree Idris2 Tests #27: Pull request #8 synchronize by hyperpolymath
1m 3s fix/contributing-guide-content
fix/contributing-guide-content
1m 3s
chore(ci): remove the rhodibot rule that could never delete anything … Idris2 Tests #26: Commit cb02893 pushed by hyperpolymath
9s main
main
9s
fix(docs): render the repository-structure tree as a tree Idris2 Tests #25: Pull request #8 synchronize by hyperpolymath
21m 13s fix/contributing-guide-content
fix/contributing-guide-content
21m 13s
fix(docs): render the repository-structure tree as a tree Idris2 Tests #24: Pull request #8 opened by hyperpolymath
6m 21s fix/contributing-guide-content
fix/contributing-guide-content
6m 21s
chore(ci): remove the rhodibot rule that could never delete anything Idris2 Tests #23: Pull request #7 synchronize by hyperpolymath
4m 56s chore/rhodibot-remove-dead-contributing-delete
chore/rhodibot-remove-dead-contributing-delete
4m 56s
chore(ci): remove the rhodibot rule that could never delete anything Idris2 Tests #22: Pull request #7 opened by hyperpolymath
3m 47s chore/rhodibot-remove-dead-contributing-delete
chore/rhodibot-remove-dead-contributing-delete
3m 47s
fix(docs): repoint references to the relocated contributing guide (#6) Idris2 Tests #21: Commit cb9ad65 pushed by hyperpolymath
2h 1m 36s main
main
2h 1m 36s
fix(docs): repoint references to the relocated contributing guide Idris2 Tests #20: Pull request #6 synchronize by hyperpolymath
2h 8m 23s refactor/contributing-guide-link-repair
refactor/contributing-guide-link-repair
2h 8m 23s