Skip to content

Actions: SkymanOne/folidity

Actions

continuous-integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
203 workflow runs
203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

apply addition on strings continuous-integration #153: Commit 26e2db6 pushed by SkymanOne
April 2, 2024 16:35 1m 12s verifier
verifier
April 2, 2024 16:35 1m 12s
add verify command and support nested errors continuous-integration #152: Commit 9399f0d pushed by SkymanOne
April 2, 2024 14:30 59s verifier
verifier
April 2, 2024 14:30 59s
cleanup continuous-integration #151: Commit 09ae4f5 pushed by SkymanOne
April 1, 2024 20:10 53s verifier
verifier
April 1, 2024 20:10 53s
continuous-integration continuous-integration #150: by SkymanOne
April 1, 2024 20:09 56s verifier
verifier
April 1, 2024 20:09 56s
cleanup continuous-integration #149: Commit 093222b pushed by SkymanOne
April 1, 2024 19:47 57s verifier
verifier
April 1, 2024 19:47 57s
[tested] improve constraint generation respecting co-dependent structs continuous-integration #148: Commit 8c33695 pushed by SkymanOne
April 1, 2024 19:41 1m 9s verifier
verifier
April 1, 2024 19:41 1m 9s
[untested] check individual blocks continuous-integration #147: Commit 7f94c66 pushed by SkymanOne
March 31, 2024 15:06 2m 8s verifier
verifier
March 31, 2024 15:06 2m 8s
simplify context passing and lifetimes continuous-integration #146: Commit 42c414d pushed by SkymanOne
March 31, 2024 03:39 1m 6s verifier
verifier
March 31, 2024 03:39 1m 6s
[untested] resolve declarations continuous-integration #145: Commit 96e7d3f pushed by SkymanOne
March 31, 2024 03:31 1m 14s verifier
verifier
March 31, 2024 03:31 1m 14s
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