Skip to content

Actions: avanhatt/wasmtime

Actions

Performance Testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
performance.yml
90 workflow runs
90 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Type check term specs in isolation, and fix the over-constrained spec… Performance Testing #335: Commit 850fae7 pushed by avanhatt
11s veri-spec-type-check
veri-spec-type-check
11s
Type check term specs in isolation, and fix the over-constrained spec… Performance Testing #334: Commit ad5897a pushed by avanhatt
1s veri-spec-type-check
veri-spec-type-check
1s
Type check term specs in isolation, and fix the over-constrained spec… Performance Testing #333: Commit 54d487b pushed by avanhatt
1s veri-spec-type-check
veri-spec-type-check
1s
Type check term specs in isolation, and fix the over-constrained spec… Performance Testing #332: Commit 4646941 pushed by avanhatt
10s veri-spec-type-check
veri-spec-type-check
10s
Fix over-constrained specs that failed type inference on all instanti… Performance Testing #331: Commit 2d9202a pushed by avanhatt
7s veri-spec-type-check
veri-spec-type-check
7s
winch(aarch64): v128 mul, dot, and q15mulr ops (#13965) Performance Testing #330: Commit 89ed112 pushed by avanhatt
1s main
main
1s
clippy Performance Testing #329: Commit 20cc911 pushed by avanhatt
7s veri-opt
veri-opt
7s
Verify most of the midend Performance Testing #328: Commit bd0dc50 pushed by avanhatt
1s veri-opt
veri-opt
1s
Verify most of the midend Performance Testing #327: Commit d998607 pushed by avanhatt
Skipped veri-opt
veri-opt
Skipped
Verify most of the midend Performance Testing #326: Commit 86a1ccb pushed by avanhatt
1s veri-opt
veri-opt
1s
Verify most of the midend Performance Testing #325: Commit 14adbbc pushed by avanhatt
1s veri-opt
veri-opt
1s
mbm feedback Performance Testing #324: Commit b8ad93d pushed by avanhatt
2s veri-midend
veri-midend
2s
Split current_thread into an inline fast path and a cold slow path (#… Performance Testing #323: Commit cc00440 pushed by avanhatt
10s main
main
10s
Verify most of the mid-end Performance Testing #322: Commit cb5eb04 pushed by avanhatt
1s veri-midend
veri-midend
1s
Verify most of the mid-end Performance Testing #321: Commit 84a5936 pushed by avanhatt
7s veri-midend
veri-midend
7s
change CI name; prtest:all Performance Testing #320: Commit 895c75b pushed by avanhatt
11s isle-veri-slow-mul-fix
isle-veri-slow-mul-fix
11s
VeriISLE: fix imul slow rule tagging, add basic (no solver required) … Performance Testing #319: Commit 317cd0b pushed by avanhatt
1s isle-veri-slow-mul-fix
isle-veri-slow-mul-fix
1s
More unknown handling Performance Testing #318: Commit 7ab016f pushed by avanhatt
2s upstream-06-02
upstream-06-02
2s
tweak unknown handling Performance Testing #317: Commit efc358a pushed by avanhatt
1s upstream-06-02
upstream-06-02
1s
Verification: avoid stack overflow in Cranelift build by excluding sp… Performance Testing #316: Commit 88cb2cf pushed by avanhatt
2s upstream-06-02
upstream-06-02
2s
Avoid stack overflow in ISLE parser by raising stack size; prtest:all Performance Testing #315: Commit 9d85585 pushed by avanhatt
3s upstream-06-02
upstream-06-02
3s
fix merge; prtest:all Performance Testing #314: Commit d04bd96 pushed by avanhatt
2s upstream-06-02
upstream-06-02
2s
Merge branch 'main' into upstream-06-02 Performance Testing #313: Commit c63f336 pushed by avanhatt
1s upstream-06-02
upstream-06-02
1s
Minimize Cargo.lock diff against main Performance Testing #312: Commit d85f73f pushed by mmcloughlin
1s upstream-06-02
upstream-06-02
1s
Merge branch 'main' into upstream-06-02 Performance Testing #311: Commit aea1c65 pushed by avanhatt
8s upstream-06-02
upstream-06-02
8s