Skip to content

Actions: argotorg/act

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
366 workflow runs
366 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lean tests Build #1916: Commit 026dafc pushed by anjapetkovic
20m 40s lean
lean
20m 40s
nit Build #1915: Commit 5ba0ded pushed by anjapetkovic
18m 52s lean
lean
18m 52s
fixed InvariantReachable proof Build #1914: Commit ae19582 pushed by anjapetkovic
28m 4s lean
lean
28m 4s
Deploy Book Deploy Book #16: Manually run by sophierain
10m 22s main
main
10m 22s
Build Build #1913: by sophierain
20m 33s main
main
20m 33s
space in getting started Build #1912: Commit 371497a pushed by sophierain
21m 36s main
main
21m 36s
fixed Actlib Build #1911: Commit 390930f pushed by anjapetkovic
22m 6s lean
lean
22m 6s
Merge pull request #216 from argotorg/rocq-pack-preconds Build #1910: Commit f92845c pushed by zoep
39m 3s main
main
39m 3s
Rocq: Remove extraneous condition and Theorem rename Build #1909: Pull request #216 opened by lefterislazar
23m 42s rocq-pack-preconds
rocq-pack-preconds
23m 42s
Rename final ERC-20 Theorem Build #1908: Commit 0d19f0e pushed by lefterislazar
20m 14s rocq-pack-preconds
rocq-pack-preconds
20m 14s
Remove left-over nextAddrConstraints Build #1907: Commit 74780d3 pushed by lefterislazar
22m 53s rocq-pack-preconds
rocq-pack-preconds
22m 53s
LLM-assisted mechanized metatheory for act Build #1906: Commit b8d8f2a pushed by zoep
26m 7s mechanization
mechanization
26m 7s
Merge pull request #215 from argotorg/rocq-pack-preconds Build #1905: Commit 63064af pushed by zoep
18m 22s main
main
18m 22s
Rocq: Precondition refactoring and Environment simplification Build #1904: Pull request #215 opened by lefterislazar
18m 55s rocq-pack-preconds
rocq-pack-preconds
18m 55s
Refactor from substeps Build #1903: Commit b04ac32 pushed by lefterislazar
22m 13s rocq-pack-preconds
rocq-pack-preconds
22m 13s
Merge pull request #214 from lefterislazar/proof-cleanup Build #1902: Commit 7a9f585 pushed by lefterislazar
18m 52s main
main
18m 52s
Proof cleanup and updated AMM Build #1901: Pull request #214 opened by lefterislazar
22m 7s lefterislazar:proof-cleanup
lefterislazar:proof-cleanup
22m 7s
WIP: Lean backend Build #1900: Commit 34d7d26 pushed by anjapetkovic
22m 15s lean
lean
22m 15s
Bump HEVM experimentation Build #1899: Commit ce7f8bd pushed by lefterislazar
21m 20s bump-hevm-0.57
bump-hevm-0.57
21m 20s
Deploy Book Deploy Book #15: Manually run by sophierain
11m 32s main
main
11m 32s
tiny documentation clean-up Build #1898: Commit 4981274 pushed by sophierain
26m 35s main
main
26m 35s
Deploy Book Deploy Book #14: Manually run by sophierain
11m 7s main
main
11m 7s
npm_and_yarn in /. for lodash-es - Update #1233700547 Dependabot Updates #3: by dependabot bot
45s main
main
45s
Merge branch 'doc-rewrite' updated mdbook Build #1897: Commit 7bdd1f5 pushed by sophierain
39m 13s main
main
39m 13s
static links and centered figures Build #1896: Commit 4c90cda pushed by sophierain
35m 46s doc-rewrite
doc-rewrite
35m 46s