Skip to content

Actions: tchajed/coq-tla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies CI #171: Commit 887bb37 pushed by tchajed
March 4, 2024 22:40 4m 8s main
main
March 4, 2024 22:40 4m 8s
CI CI #170: Manually run by tchajed
December 5, 2023 15:13 4m 23s main
main
December 5, 2023 15:13 4m 23s
Add the same restatement for strong fairness CI #169: Commit 06cc280 pushed by tchajed
December 5, 2023 14:29 26s main
main
December 5, 2023 14:29 26s
Add a simple restatement of weak fairness CI #168: Commit 2bffa7e pushed by tchajed
December 5, 2023 14:28 22s main
main
December 5, 2023 14:28 22s
State the actual equivalence theorem CI #167: Commit 8ccab4c pushed by tchajed
December 4, 2023 18:10 4m 20s main
main
December 4, 2023 18:10 4m 20s
Prove an equivalence of two formalizations of ESR CI #166: Commit 0bd932a pushed by tchajed
December 4, 2023 18:08 4m 18s main
main
December 4, 2023 18:08 4m 18s
Repair proof automation CI #165: Commit 0831b62 pushed by tchajed
November 2, 2023 17:36 5m 20s main
main
November 2, 2023 17:36 5m 20s
Update build workflow CI #164: Commit 54dc439 pushed by tchajed
November 2, 2023 16:14 1m 30s main
main
November 2, 2023 16:14 1m 30s