Skip to content

Actions: hyperpolymath/statistikles

Actions

Agda Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
agda.yml
15 workflow runs
15 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
fix(ci): repoint codeql-action at a SHA that exists Agda Proofs #15: Pull request #68 opened by hyperpolymath
32m 12s fix/codeql-action-sha
fix/codeql-action-sha
32m 12s
Agda Proofs Agda Proofs #14: by hyperpolymath
3m 12s main
main
3m 12s
chore(ci): land the salvageable local work, drop the poisoned commit, fix the header Agda Proofs #13: Pull request #64 synchronize by hyperpolymath
1m 37s ci/closeout
ci/closeout
1m 37s
chore(ci): land the salvageable local work, drop the poisoned commit, fix the header Agda Proofs #12: Pull request #64 opened by hyperpolymath
2m 36s ci/closeout
ci/closeout
2m 36s
chore(deps): bump the actions group with 8 updates (#63) Agda Proofs #11: Commit c7588ee pushed by hyperpolymath
1m 26s main
main
1m 26s
chore(deps): bump the actions group with 8 updates Agda Proofs #10: Pull request #63 opened by dependabot Bot
1m 34s dependabot/github_actions/actions-572d523b9a
dependabot/github_actions/actions-572d523b9a
1m 34s
docs: reframe FFI + formal-proofs surfaces as experimental (W2-4) (#48) Agda Proofs #9: Commit 49b8300 pushed by hyperpolymath
1m 39s main
main
1m 39s
docs: reframe FFI + formal-proofs surfaces as experimental (W2-4) Agda Proofs #8: Pull request #48 opened by hyperpolymath
1m 30s docs/experimental-reframe
docs/experimental-reframe
1m 30s
W1-7: Type-checking Agda proofs + agda --safe CI + honest catalogue… Agda Proofs #7: Commit 01eee40 pushed by hyperpolymath
2m 12s main
main
2m 12s
W1-7: Type-checking Agda proofs + agda --safe CI + honest catalogue Agda Proofs #6: Pull request #42 synchronize by hyperpolymath
2m 2s fix/agda-proofs-ci
fix/agda-proofs-ci
2m 2s
W1-7: Type-checking Agda proofs + agda --safe CI + honest catalogue Agda Proofs #5: Pull request #42 synchronize by hyperpolymath
8s fix/agda-proofs-ci
fix/agda-proofs-ci
8s
W1-7: Type-checking Agda proofs + agda --safe CI + honest catalogue Agda Proofs #4: Pull request #42 synchronize by hyperpolymath
50s fix/agda-proofs-ci
fix/agda-proofs-ci
50s
W1-7: Type-checking Agda proofs + agda --safe CI + honest catalogue Agda Proofs #3: Pull request #42 synchronize by hyperpolymath
35s fix/agda-proofs-ci
fix/agda-proofs-ci
35s
W1-7: Type-checking Agda proofs + agda --safe CI + honest catalogue Agda Proofs #2: Pull request #42 synchronize by hyperpolymath
19s fix/agda-proofs-ci
fix/agda-proofs-ci
19s
W1-7: Type-checking Agda proofs + agda --safe CI + honest catalogue Agda Proofs #1: Pull request #42 opened by hyperpolymath
1m 24s fix/agda-proofs-ci
fix/agda-proofs-ci
1m 24s