Skip to content

Actions: argotorg/act

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge with main and fix conflicts Build #1644: Commit 643273c pushed by zoep
2h 40m 59s typing-refactor
typing-refactor
2h 40m 59s
Tests: regenerate output Build #1643: Commit dc3baf8 pushed by zoep
2h 3m 14s typing-refactor
typing-refactor
2h 3m 14s
AST: one more back and forth in var references Build #1642: Commit c4e1f36 pushed by zoep
9m 59s typing-refactor
typing-refactor
9m 59s
Remove warning Build #1641: Commit cf7b608 pushed by zoep
2h 44m 24s typing-refactor
typing-refactor
2h 44m 24s
Tests: syntax nit Build #1640: Commit d4c338d pushed by zoep
2h 0m 11s typing-refactor
typing-refactor
2h 0m 11s
Nit in typing Build #1639: Commit cc27c1e pushed by zoep
1h 49m 58s typing-refactor
typing-refactor
1h 49m 58s
Tests: syntax nit Build #1638: Commit ec48cba pushed by zoep
1h 48m 19s typing-refactor
typing-refactor
1h 48m 19s
SMT: Fix name refs Build #1637: Commit 3b2e8f9 pushed by zoep
20m 37s typing-refactor
typing-refactor
20m 37s
Test: fix compilation issue Build #1636: Commit 3589302 pushed by zoep
16m 7s typing-refactor
typing-refactor
16m 7s
Test: regenerate test outputs Build #1635: Commit 2062b19 pushed by zoep
13m 51s typing-refactor
typing-refactor
13m 51s
Merge pull request #195 from lefterislazar/hevm-erc20 Build #1634: Commit 678f5dc pushed by zoep
5h 36m 15s main
main
5h 36m 15s
Hevm ERC20 Build #1633: Pull request #195 synchronize by lefterislazar
2h 24m 34s lefterislazar:hevm-erc20
lefterislazar:hevm-erc20
2h 24m 34s
Syntax: Add SVarRef and CVarRef; change names in files Build #1632: Commit 5c7fda2 pushed by zoep
12m 32s typing-refactor
typing-refactor
12m 32s
Merge pull request #196 from lefterislazar/main Build #1631: Commit f10de80 pushed by zoep
3h 50m 33s main
main
3h 50m 33s
Correction in 'make clean' in Rocq tests Build #1630: Pull request #196 opened by lefterislazar
2h 27m 56s lefterislazar:main
lefterislazar:main
2h 27m 56s
Hevm ERC20 Build #1629: Pull request #195 opened by lefterislazar
2h 43m 12s lefterislazar:hevm-erc20
lefterislazar:hevm-erc20
2h 43m 12s
Test: regenerate test outputs Build #1628: Commit 46d4964 pushed by zoep
19m 16s typing-refactor
typing-refactor
19m 16s
Test: add necessary preconditions for range Build #1627: Commit 6c5f3eb pushed by zoep
9m 12s typing-refactor
typing-refactor
9m 12s
SMT: no constant updates in constructors Build #1626: Commit fad08ad pushed by zoep
9m 34s typing-refactor
typing-refactor
9m 34s
Test: regenerate typing test outputs Build #1625: Commit b69898a pushed by zoep
10m 19s typing-refactor
typing-refactor
10m 19s
Tests: update inRange precondition Build #1624: Commit 06d1195 pushed by zoep
9m 4s typing-refactor
typing-refactor
9m 4s
AST: move timing to storage variables only Build #1623: Commit fe98983 pushed by zoep
10m 28s typing-refactor
typing-refactor
10m 28s
Syntax: Cleanup untyped AST Build #1622: Commit 93d7fe6 pushed by zoep
8m 59s typing-refactor
typing-refactor
8m 59s
Type: Fix compilation error Build #1621: Commit b34eced pushed by zoep
1h 37m 36s typing-refactor
typing-refactor
1h 37m 36s
Typing: better typing for expressions and simplifications Build #1620: Commit d7c2db8 pushed by zoep
9m 40s typing-refactor
typing-refactor
9m 40s