Skip to content

Actions: ethereum/hevm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,421 workflow runs
1,421 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release Release #32: Scheduled
March 17, 2025 05:35 28m 47s main
main
March 17, 2025 05:35 28m 47s
Check Dependencies Check Dependencies #304: Scheduled
March 17, 2025 05:33 48s main
main
March 17, 2025 05:33 48s
Canonicalize all commutative operators in Expr Build #3337: Pull request #684 synchronize by msooseth
March 13, 2025 17:46 35m 36s more-simplifications
more-simplifications
March 13, 2025 17:46 35m 36s
Canonicalize all commutative operators in Expr Build #3336: Pull request #684 synchronize by msooseth
March 13, 2025 17:43 3m 22s more-simplifications
more-simplifications
March 13, 2025 17:43 3m 22s
Canonicalize all commutative operators in Expr Build #3335: Pull request #684 synchronize by msooseth
March 13, 2025 17:40 3m 9s more-simplifications
more-simplifications
March 13, 2025 17:40 3m 9s
[DRAFT] Don't dispatch SMT queries that can be proven False via simplification -- TODO cleanup Build #3334: Pull request #683 synchronize by msooseth
March 13, 2025 14:13 33m 4s dont-dispatch-false
dont-dispatch-false
March 13, 2025 14:13 33m 4s
Equivalence fixes Build #3333: Pull request #681 synchronize by msooseth
March 13, 2025 13:52 36m 30s equiv-fix-mate
equiv-fix-mate
March 13, 2025 13:52 36m 30s
Canonicalize all commutative operators in Expr Build #3332: Pull request #684 synchronize by msooseth
March 13, 2025 13:11 31m 1s more-simplifications
more-simplifications
March 13, 2025 13:11 31m 1s
Canonicalize all commutative operators in Expr Build #3331: Pull request #684 opened by msooseth
March 13, 2025 12:53 19m 2s more-simplifications
more-simplifications
March 13, 2025 12:53 19m 2s
[DRAFT] Don't dispatch SMT queries that can be proven False via simplification -- TODO cleanup Build #3330: Pull request #683 opened by msooseth
March 13, 2025 12:46 29m 59s dont-dispatch-false
dont-dispatch-false
March 13, 2025 12:46 29m 59s
Equivalence fixes Build #3329: Pull request #681 synchronize by msooseth
March 13, 2025 11:16 28m 0s equiv-fix-mate
equiv-fix-mate
March 13, 2025 11:16 28m 0s
Equivalence fixes Build #3328: Pull request #681 synchronize by msooseth
March 13, 2025 11:04 12m 16s equiv-fix-mate
equiv-fix-mate
March 13, 2025 11:04 12m 16s
Equivalence fixes Build #3327: Pull request #681 synchronize by msooseth
March 13, 2025 11:02 2m 39s equiv-fix-mate
equiv-fix-mate
March 13, 2025 11:02 2m 39s
Equivalence fixes Build #3326: Pull request #681 synchronize by msooseth
March 12, 2025 15:03 6h 5m 40s equiv-fix-mate
equiv-fix-mate
March 12, 2025 15:03 6h 5m 40s
Equivalence fixes Build #3325: Pull request #681 synchronize by msooseth
March 12, 2025 14:58 5m 9s equiv-fix-mate
equiv-fix-mate
March 12, 2025 14:58 5m 9s
Equivalence fixes Build #3324: Pull request #681 synchronize by msooseth
March 12, 2025 14:23 36m 10s equiv-fix-mate
equiv-fix-mate
March 12, 2025 14:23 36m 10s
Equivalence fixes Build #3323: Pull request #681 synchronize by msooseth
March 12, 2025 11:21 40m 43s equiv-fix-mate
equiv-fix-mate
March 12, 2025 11:21 40m 43s
Equivalence fixes Build #3322: Pull request #681 synchronize by msooseth
March 12, 2025 10:14 1h 7m 26s equiv-fix-mate
equiv-fix-mate
March 12, 2025 10:14 1h 7m 26s
Equivalence fixes Build #3321: Pull request #681 synchronize by msooseth
March 12, 2025 09:48 13m 58s equiv-fix-mate
equiv-fix-mate
March 12, 2025 09:48 13m 58s
Equivalence fixes Build #3320: Pull request #681 synchronize by msooseth
March 11, 2025 18:07 20m 26s equiv-fix-mate
equiv-fix-mate
March 11, 2025 18:07 20m 26s
Warn user on zero address use Build #3319: Pull request #676 synchronize by msooseth
March 11, 2025 17:03 31m 32s warn-user-zero-addr
warn-user-zero-addr
March 11, 2025 17:03 31m 32s
Warn user on zero address use Build #3318: Pull request #676 synchronize by msooseth
March 11, 2025 17:03 19s warn-user-zero-addr
warn-user-zero-addr
March 11, 2025 17:03 19s
Warn user on zero address use Build #3317: Pull request #676 synchronize by msooseth
March 11, 2025 17:01 2m 14s warn-user-zero-addr
warn-user-zero-addr
March 11, 2025 17:01 2m 14s
draft - add bitwuzla build for linux Build #3316: Pull request #678 synchronize by charles-cooper
March 11, 2025 15:02 39m 2s charles-cooper:bitwuzla-linux
charles-cooper:bitwuzla-linux
March 11, 2025 15:02 39m 2s
Limiting the branching factor and the depth of branching Build #3315: Pull request #674 synchronize by msooseth
March 11, 2025 14:55 31m 27s limit-num-branches
limit-num-branches
March 11, 2025 14:55 31m 27s