Skip to content

Actions: saurabhchalke/halmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: shorten bytecode output in unknown deployed bytecode warning (#573) Test long #16: Commit 079bb42 pushed by pull bot
29m 58s main
main
29m 58s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) Test #174: Commit 079bb42 pushed by pull bot
18m 10s main
main
18m 10s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) pre-commit #138: Commit 079bb42 pushed by pull bot
2m 16s main
main
2m 16s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) Test external projects #16: Commit 079bb42 pushed by pull bot
23m 47s main
main
23m 47s
fix: shorten bytecode output in unknown deployed bytecode warning (#573) Test FFI #174: Commit 079bb42 pushed by pull bot
5m 16s main
main
5m 16s
[pull] main from a16z:main Test FFI #173: Pull request #23 opened by pull bot
45s a16z:main
a16z:main
45s
[pull] main from a16z:main pre-commit #137: Pull request #23 opened by pull bot
12s a16z:main
a16z:main
12s
[pull] main from a16z:main Test #173: Pull request #23 opened by pull bot
9m 27s a16z:main
a16z:main
9m 27s
fix: immediately halt execution on assert(false) (#572) Test external projects #15: Commit e20e8f6 pushed by pull bot
29m 39s main
main
29m 39s
fix: immediately halt execution on assert(false) (#572) Test FFI #172: Commit e20e8f6 pushed by pull bot
3m 16s main
main
3m 16s
fix: immediately halt execution on assert(false) (#572) pre-commit #136: Commit e20e8f6 pushed by pull bot
4m 12s main
main
4m 12s
fix: immediately halt execution on assert(false) (#572) Test #172: Commit e20e8f6 pushed by pull bot
18m 22s main
main
18m 22s
fix: immediately halt execution on assert(false) (#572) Test long #15: Commit e20e8f6 pushed by pull bot
22m 13s main
main
22m 13s
[pull] main from a16z:main pre-commit #135: Pull request #22 opened by pull bot
11s a16z:main
a16z:main
11s
[pull] main from a16z:main Test #171: Pull request #22 opened by pull bot
13m 23s a16z:main
a16z:main
13m 23s
[pull] main from a16z:main Test FFI #171: Pull request #22 opened by pull bot
51s a16z:main
a16z:main
51s
avoid "0 bytes of initcode" at top level Test FFI #170: Commit 23aa821 pushed by pull bot
3m 3s main
main
3m 3s
avoid "0 bytes of initcode" at top level Test external projects #14: Commit 23aa821 pushed by pull bot
1h 33m 58s main
main
1h 33m 58s
avoid "0 bytes of initcode" at top level Test long #14: Commit 23aa821 pushed by pull bot
29m 13s main
main
29m 13s
avoid "0 bytes of initcode" at top level Test #170: Commit 23aa821 pushed by pull bot
18m 30s main
main
18m 30s
avoid "0 bytes of initcode" at top level pre-commit #134: Commit 23aa821 pushed by pull bot
25s main
main
25s
[pull] main from a16z:main pre-commit #133: Pull request #21 opened by pull bot
16s a16z:main
a16z:main
16s
[pull] main from a16z:main Test #169: Pull request #21 opened by pull bot
11m 54s a16z:main
a16z:main
11m 54s
[pull] main from a16z:main Test FFI #169: Pull request #21 opened by pull bot
1m 1s a16z:main
a16z:main
1m 1s
create solver_output in case of errors too (#570) Test FFI #168: Commit ba94bdc pushed by pull bot
3m 6s main
main
3m 6s