Skip to content

Actions: argotorg/hevm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,076 workflow runs
2,076 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Solvers.hs should run separate processes for each query Build #4477: Pull request #964 synchronize by msooseth
29m 11s smt-separate-processes
smt-separate-processes
29m 11s
Solvers.hs should run separate processes for each query Build #4476: Pull request #964 synchronize by msooseth
2m 13s smt-separate-processes
smt-separate-processes
2m 13s
--early-abort flag to abort symbolic execution *only* Build #4475: Pull request #965 synchronize by msooseth
29m 19s early-abort-flag2
early-abort-flag2
29m 19s
--early-abort flag to abort symbolic execution *only* Build #4474: Pull request #965 synchronize by msooseth
3m 51s early-abort-flag2
early-abort-flag2
3m 51s
Release Release #92: Manually run by blishko
51s main
main
51s
CI: Add build on arm linux Build #4473: Pull request #966 opened by blishko
6m 58s ci-arm-linux
ci-arm-linux
6m 58s
--early-abort flag to abort symbolic execution *only* Build #4472: Pull request #965 synchronize by msooseth
26m 52s early-abort-flag2
early-abort-flag2
26m 52s
--early-abort flag to abort symbolic execution *only* Build #4471: Pull request #965 synchronize by msooseth
1m 29s early-abort-flag2
early-abort-flag2
1m 29s
--early-abort flag to abort symbolic execution *only* Build #4470: Pull request #965 opened by msooseth
20m 57s early-abort-flag2
early-abort-flag2
20m 57s
Solvers.hs should run separate processes for each query Build #4469: Pull request #964 opened by msooseth
2h 20m 5s smt-separate-processes
smt-separate-processes
2h 20m 5s
Merge pull request #961 from charles-cooper/add-arm64-linux-release Publish Documentation #553: Commit f44664e pushed by blishko
24m 30s main
main
24m 30s
Merge pull request #961 from charles-cooper/add-arm64-linux-release Build #4468: Commit f44664e pushed by blishko
30m 56s main
main
30m 56s
[RFC] Alow to use yices as solver Build #4467: Pull request #962 synchronize by gustavo-grieco
6h 1m 10s exp-yices
exp-yices
6h 1m 10s
[RFC] Alow to use yices as solver Build #4466: Pull request #962 synchronize by gustavo-grieco
49m 5s exp-yices
exp-yices
49m 5s
Release Release #91: Scheduled
1h 33m 13s main
main
1h 33m 13s
Check Dependencies Check Dependencies #432: Scheduled
34s main
main
34s
[RFC] Alow to use yices as solver Build #4465: Pull request #962 synchronize by gustavo-grieco
6h 0m 43s exp-yices
exp-yices
6h 0m 43s
[RFC] Alow to use yices as solver Build #4464: Pull request #962 synchronize by gustavo-grieco
2h 34m 13s exp-yices
exp-yices
2h 34m 13s
[RFC] Alow to use yices as solver Build #4463: Pull request #962 synchronize by gustavo-grieco
2h 28m 21s exp-yices
exp-yices
2h 28m 21s
[RFC] Alow to use yices as solver Build #4462: Pull request #962 opened by gustavo-grieco
8m 7s exp-yices
exp-yices
8m 7s
ci: add arm64-linux release build Build #4461: Pull request #961 opened by charles-cooper
31m 28s charles-cooper:add-arm64-linux-release
charles-cooper:add-arm64-linux-release
31m 28s
Merge pull request #960 from argotorg/fix-win Publish Documentation #552: Commit 1f02fd8 pushed by blishko
31m 2s main
main
31m 2s
Merge pull request #960 from argotorg/fix-win Build #4460: Commit 1f02fd8 pushed by blishko
29m 43s main
main
29m 43s
Fix Windows build failure Build #4459: Pull request #960 synchronize by elopez
29m 15s fix-win
fix-win
29m 15s
Bump version for new release: 0.57.0 Release #90: Commit 5ec2254 pushed by blishko
1h 35m 24s release/0.57.0
release/0.57.0
1h 35m 24s