Skip to content

Actions: argotorg/act

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
246 workflow runs
246 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small edits Build #1776: Commit b1bf489 pushed by sophierain
17m 58s doc-rewrite
doc-rewrite
17m 58s
intro draft Build #1775: Commit 0c2951c pushed by sophierain
14m 28s doc-rewrite
doc-rewrite
14m 28s
new structure draft Build #1774: Commit d8a3fa7 pushed by sophierain
17m 50s doc-rewrite
doc-rewrite
17m 50s
Add entailment to pipeline Build #1773: Commit cdf5b3f pushed by zoep
12m 11s rewrite
rewrite
12m 11s
Add entailment to pipeline Build #1772: Commit 593cd00 pushed by zoep
18m 53s rewrite
rewrite
18m 53s
Add Case constructor in typed AST and add error messages in constraints Build #1771: Commit 2f8b502 pushed by zoep
21m 2s rewrite
rewrite
21m 2s
publish new branch delayed Build #1770: Commit 6b47629 pushed by sophierain
20m 21s doc-rewrite
doc-rewrite
20m 21s
fixes to make book.toml run Build #1769: Commit 7c2a4aa pushed by sophierain
14m 32s doc-rewrite
doc-rewrite
14m 32s
Revert makefile Build #1768: Commit e0a155a pushed by zoep
19m 43s rewrite
rewrite
19m 43s
Remove traces Build #1767: Commit 4bc34da pushed by zoep
17m 13s rewrite
rewrite
17m 13s
WIP debugging the type checker Build #1766: Commit ead32c1 pushed by zoep
21m 4s rewrite
rewrite
21m 4s
Tests: Mapping syntax Build #1765: Commit 41e0633 pushed by zoep
17m 48s rewrite
rewrite
17m 48s
Revert parser makefile Build #1764: Commit f746e5f pushed by zoep
22m 11s rewrite
rewrite
22m 11s
Parser tests pass Build #1763: Commit b77e578 pushed by zoep
18m 7s rewrite
rewrite
18m 7s
WIP, HEVM Mapping expressions Build #1762: Commit 38e508f pushed by lefterislazar
16m 3s rewrite
rewrite
16m 3s
Update aliasing check compilation, needs cleanup Build #1761: Commit 3a01f70 pushed by lefterislazar
18m 16s rewrite
rewrite
18m 16s
Merge pull request #203 from argotorg/examples Build #1760: Commit ef008f5 pushed by zoep
17m 52s rewrite
rewrite
17m 52s
Bugs in HEVM Equivalence Build #1759: Pull request #203 synchronize by zoep
20m 3s examples
examples
20m 3s
fix more conflicts Build #1758: Commit 890b48b pushed by zoep
14m 46s examples
examples
14m 46s
Tests: fix conflicts Build #1757: Commit 50048d8 pushed by zoep
16m 20s examples
examples
16m 20s
Conflicts Build #1756: Commit a0fa8de pushed by zoep
25m 18s examples
examples
25m 18s
SMT and Coq and stuff, builds Build #1755: Commit 144536d pushed by lefterislazar
19m 34s rewrite
rewrite
19m 34s
HEMV_utils parser Build #1754: Commit 8419886 pushed by lefterislazar
15m 1s rewrite
rewrite
15m 1s
Bugs in HEVM Equivalence Build #1753: Pull request #203 synchronize by zoep
13m 53s examples
examples
13m 53s
WIP conflicts Build #1752: Commit cc0ea11 pushed by zoep
18m 9s examples
examples
18m 9s