Skip to content

Actions: argotorg/act

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
352 workflow runs
352 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
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
tiny documentation clean-up Build #1898: Commit 4981274 pushed by sophierain
26m 35s main
main
26m 35s
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
Merge pull request #213 from argotorg/doc-rewrite Build #1895: Commit 1bb6fb0 pushed by sophierain
25m 49s v0.2.0_documentation
v0.2.0_documentation
25m 49s
some more doc deployment clean-up Build #1894: Commit 432be4b pushed by sophierain
29m 49s doc-rewrite
doc-rewrite
29m 49s
workflow name change Build #1893: Commit e6b45aa pushed by sophierain
39m 23s doc-rewrite
doc-rewrite
39m 23s
new deploy-book workflow Build #1892: Commit 0b02ced pushed by sophierain
21m 5s doc-rewrite
doc-rewrite
21m 5s