Skip to content

Actions: SkymanOne/folidity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
219 workflow runs
219 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

optimise ast lifetimes continuous-integration #144: Commit 23e50a6 pushed by SkymanOne
March 31, 2024 01:59 1m 7s verifier
verifier
March 31, 2024 01:59 1m 7s
partially resolve models continuous-integration #143: Commit 52125f5 pushed by SkymanOne
March 31, 2024 01:13 1m 20s verifier
verifier
March 31, 2024 01:13 1m 20s
delete project files continuous-integration #142: Commit 6fc6aee pushed by SkymanOne
March 30, 2024 19:42 1m 17s verifier
verifier
March 30, 2024 19:42 1m 17s
test expression translation continuous-integration #141: Commit 7a9518d pushed by SkymanOne
March 30, 2024 19:22 1m 10s verifier
verifier
March 30, 2024 19:22 1m 10s
[untested] transdorm expressions to Z3 AST continuous-integration #140: Commit a7fce51 pushed by SkymanOne
March 30, 2024 01:57 54s verifier
verifier
March 30, 2024 01:57 54s
add math model concept continuous-integration #139: Commit aa33948 pushed by SkymanOne
March 30, 2024 00:59 48s verifier
verifier
March 30, 2024 00:59 48s
rename module continuous-integration #138: Commit 454b7e3 pushed by SkymanOne
March 28, 2024 13:25 52s verifier
verifier
March 28, 2024 13:25 52s
transform basic operations and literals continuous-integration #137: Commit d60a168 pushed by SkymanOne
March 28, 2024 13:22 2m 12s verifier
verifier
March 28, 2024 13:22 2m 12s
translate literals to z3 primitives continuous-integration #136: Commit 5037333 pushed by SkymanOne
March 28, 2024 00:28 1m 36s verifier
verifier
March 28, 2024 00:28 1m 36s
fix enum access continuous-integration #135: Commit 82235b1 pushed by SkymanOne
March 27, 2024 23:05 1m 2s verifier
verifier
March 27, 2024 23:05 1m 2s
docs continuous-integration #134: Commit 18e8948 pushed by SkymanOne
March 27, 2024 15:56 1m 28s verifier
verifier
March 27, 2024 15:56 1m 28s
verifier ast continuous-integration #133: Commit 4ebbbcd pushed by SkymanOne
March 27, 2024 15:52 1m 51s verifier
verifier
March 27, 2024 15:52 1m 51s
introduce runner trait and merge parser and sem errors continuous-integration #132: Commit 8a1dd1f pushed by SkymanOne
March 26, 2024 16:03 1m 2s verifier
verifier
March 26, 2024 16:03 1m 2s
add crate continuous-integration #131: Commit 37e641d pushed by SkymanOne
March 26, 2024 01:48 1m 5s verifier
verifier
March 26, 2024 01:48 1m 5s
Compiler executable 1 (#9) continuous-integration #130: Commit 3bd02fa pushed by SkymanOne
March 25, 2024 13:33 1m 5s main
main
March 25, 2024 13:33 1m 5s
add changelog continuous-integration #129: Commit 77ffd91 pushed by SkymanOne
March 25, 2024 13:32 51s bin
bin
March 25, 2024 13:32 51s
update readme in template continuous-integration #128: Commit bd00760 pushed by SkymanOne
March 25, 2024 13:13 1m 6s bin
bin
March 25, 2024 13:13 1m 6s
prettify output and disable yansi in tests continuous-integration #127: Commit 2eca0d2 pushed by SkymanOne
March 25, 2024 13:07 54s bin
bin
March 25, 2024 13:07 54s
remove auto generated folidity files continuous-integration #126: Commit c8f6625 pushed by SkymanOne
March 25, 2024 02:57 45s bin
bin
March 25, 2024 02:57 45s
improve error reporting continuous-integration #125: Commit e5d0525 pushed by SkymanOne
March 25, 2024 02:55 59s bin
bin
March 25, 2024 02:55 59s
Add checking and error reporting continuous-integration #124: Commit f541ae2 pushed by SkymanOne
March 25, 2024 02:04 1m 4s bin
bin
March 25, 2024 02:04 1m 4s
read bytes directly from templates continuous-integration #123: Commit f9a8808 pushed by SkymanOne
March 24, 2024 22:44 43s bin
bin
March 24, 2024 22:44 43s
cleanup continuous-integration #122: Commit d674254 pushed by SkymanOne
March 24, 2024 22:24 53s bin
bin
March 24, 2024 22:24 53s
add example and new command continuous-integration #121: Commit aeedb7f pushed by SkymanOne
March 24, 2024 22:23 1m 6s bin
bin
March 24, 2024 22:23 1m 6s
fix state member access in functions continuous-integration #120: Commit e9298e4 pushed by SkymanOne
March 24, 2024 21:24 45s bin
bin
March 24, 2024 21:24 45s