Skip to content

Actions: ApeWorX/halmos

Actions

Test long

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-long.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: --solver-command lets user replace z3 invocations Test long #48: Commit 3e160f5 pushed by fubuloubu
April 11, 2024 21:08 16m 12s main
main
April 11, 2024 21:08 16m 12s
feat: --solver-command lets user replace z3 invocations Test long #47: Commit bbb7cc0 pushed by fubuloubu
April 11, 2024 21:08 16m 11s main
main
April 11, 2024 21:08 16m 11s
Add --build-info to forge build command (#255) Test long #46: Commit 6979a11 pushed by fubuloubu
March 8, 2024 18:45 17m 48s main
main
March 8, 2024 18:45 17m 48s