Skip to content

Actions: ethereum/act

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
357 workflow runs
357 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

First working example for strings in Coq Build #1444: Commit 9cbf161 pushed by zoep
June 5, 2024 15:45 14m 4s bytestr
bytestr
June 5, 2024 15:45 14m 4s
WIP nit in typing Build #1443: Commit a84d634 pushed by zoep
June 4, 2024 17:42 2h 33m 47s bytestr
bytestr
June 4, 2024 17:42 2h 33m 47s
WIP parsing strings Build #1442: Commit dc4ad33 pushed by zoep
June 4, 2024 17:08 2h 31m 22s bytestr
bytestr
June 4, 2024 17:08 2h 31m 22s
WIP Coq bytestrings Build #1441: Commit 8d08bf7 pushed by zoep
May 29, 2024 20:27 2h 19m 55s bytestr
bytestr
May 29, 2024 20:27 2h 19m 55s
WIP Coq bytestrings Build #1440: Commit e8456a3 pushed by zoep
May 29, 2024 20:20 2h 33m 58s bytestr
bytestr
May 29, 2024 20:20 2h 33m 58s
Decompilation Build #1439: Pull request #173 synchronize by zoep
May 26, 2024 16:09 2h 35m 45s decompilation
decompilation
May 26, 2024 16:09 2h 35m 45s
syntax nit Build #1438: Commit 7b5ee98 pushed by zoep
May 26, 2024 16:09 2h 30m 43s decompilation
decompilation
May 26, 2024 16:09 2h 30m 43s
Decompilation Build #1437: Pull request #173 synchronize by zoep
May 26, 2024 15:21 14m 40s decompilation
decompilation
May 26, 2024 15:21 14m 40s
add postconditon to AMM Build #1436: Commit 24ebf2e pushed by zoep
May 26, 2024 15:21 14m 7s decompilation
decompilation
May 26, 2024 15:21 14m 7s
Decompilation Build #1435: Pull request #173 synchronize by zoep
May 20, 2024 20:01 14m 0s decompilation
decompilation
May 20, 2024 20:01 14m 0s
Decompile: add values for implicitly initalized storage vars Build #1434: Commit 712b424 pushed by zoep
May 20, 2024 20:01 15m 15s decompilation
decompilation
May 20, 2024 20:01 15m 15s
Decompilation Build #1433: Pull request #173 synchronize by zoep
May 1, 2024 17:00 2h 50m 27s decompilation
decompilation
May 1, 2024 17:00 2h 50m 27s
Decompile: new rewriting rule from work with Lexi and sideconditions Build #1432: Commit 62c1aa8 pushed by zoep
May 1, 2024 17:00 2h 36m 43s decompilation
decompilation
May 1, 2024 17:00 2h 36m 43s
Decompilation Build #1431: Pull request #173 synchronize by d-xo
April 26, 2024 13:31 2h 31m 2s decompilation
decompilation
April 26, 2024 13:31 2h 31m 2s
Decompile: fix infinite loop in codemap generation Build #1430: Commit bee9632 pushed by d-xo
April 26, 2024 13:31 2h 39m 1s decompilation
decompilation
April 26, 2024 13:31 2h 39m 1s
Decompilation Build #1429: Pull request #173 synchronize by zoep
April 23, 2024 18:52 6h 0m 27s decompilation
decompilation
April 23, 2024 18:52 6h 0m 27s
Fix type errors in conflict Build #1428: Commit c8af789 pushed by zoep
April 23, 2024 18:52 6h 0m 27s decompilation
decompilation
April 23, 2024 18:52 6h 0m 27s
Decompilation Build #1427: Pull request #173 synchronize by zoep
April 22, 2024 20:27 2h 50m 59s decompilation
decompilation
April 22, 2024 20:27 2h 50m 59s
Proper sequencing of results Build #1426: Commit 8ee7d1c pushed by zoep
April 22, 2024 20:27 4h 27m 45s decompilation
decompilation
April 22, 2024 20:27 4h 27m 45s
Decompilation Build #1425: Pull request #173 synchronize by zoep
April 22, 2024 15:10 3h 51m 8s decompilation
decompilation
April 22, 2024 15:10 3h 51m 8s
fixing the Validation traversals once again Build #1424: Commit b966092 pushed by zoep
April 22, 2024 15:10 2h 51m 38s decompilation
decompilation
April 22, 2024 15:10 2h 51m 38s
Decompilation Build #1423: Pull request #173 synchronize by zoep
April 17, 2024 14:23 2h 47m 23s decompilation
decompilation
April 17, 2024 14:23 2h 47m 23s
one more fix in error Build #1422: Commit 9b67d5d pushed by zoep
April 17, 2024 14:23 4h 20m 28s decompilation
decompilation
April 17, 2024 14:23 4h 20m 28s
Decompilation Build #1421: Pull request #173 synchronize by zoep
April 16, 2024 21:55 4h 24m 57s decompilation
decompilation
April 16, 2024 21:55 4h 24m 57s
Fix bug in concatErr Build #1420: Commit 5f0ab5c pushed by zoep
April 16, 2024 21:55 3h 47m 4s decompilation
decompilation
April 16, 2024 21:55 3h 47m 4s