Skip to content

Actions: powdr-labs/powdr

Actions

Post-merge APC tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
post-merge-tests.yml
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor empirical constraints (#3545) Post-merge APC tests #150: Commit f153187 pushed by github-merge-queue bot
1h 40m 9s main
main
1h 40m 9s
Directly use constants. (#3553) Post-merge APC tests #149: Commit fa26cdb pushed by github-merge-queue bot
1h 12m 32s main
main
1h 12m 32s
Post-merge APC tests Post-merge APC tests #148: Manually run by georgwiese
1h 12m 0s update-reth
update-reth
1h 12m 0s
Rule to detect if two expressions differ by a sigle summand. (#3539) Post-merge APC tests #147: Commit 0538e78 pushed by github-merge-queue bot
1h 1m 27s main
main
1h 1m 27s
Add BasicBlock::pc_step (#3543) Post-merge APC tests #146: Commit fd0f7bd pushed by github-merge-queue bot
1h 23m 20s main
main
1h 23m 20s
[Execution] Apc candidate tracker (#3500) Post-merge APC tests #145: Commit 82b4560 pushed by github-merge-queue bot
6h 26m 2s main
main
6h 26m 2s
Start reference IDs with 0 (#3546) Post-merge APC tests #144: Commit 4846686 pushed by github-merge-queue bot
1h 2m 43s main
main
1h 2m 43s
Combine constraints with non-negative factors. (#3533) Post-merge APC tests #143: Commit a0b9042 pushed by github-merge-queue bot
12h 35m 33s main
main
12h 35m 33s
Derive boolean constraints (#3534) Post-merge APC tests #142: Commit 9d6ad15 pushed by github-merge-queue bot
3h 57m 55s main
main
3h 57m 55s
Enable APC in AOT metered execution (#3537) Post-merge APC tests #141: Commit f76c9b3 pushed by github-merge-queue bot
56m 39s main
main
56m 39s
Post-merge APC tests Post-merge APC tests #140: Manually run by qwang98
59m 8s debug-reth-aot
debug-reth-aot
59m 8s
Post-merge APC tests Post-merge APC tests #139: Manually run by qwang98
2h 9m 34s debug-reth-aot
debug-reth-aot
2h 9m 34s
Post-merge APC tests Post-merge APC tests #138: Manually run by qwang98
7m 52s debug-reth-aot
debug-reth-aot
7m 52s
Post-merge APC tests Post-merge APC tests #137: Manually run by qwang98
1h 47m 49s debug-reth-1
debug-reth-1
1h 47m 49s
Post-merge APC tests Post-merge APC tests #136: Manually run by qwang98
7m 14s debug-reth-1
debug-reth-1
7m 14s
[Empirical Constraints] Log column name per air instead of per row (#… Post-merge APC tests #135: Commit a27dcc2 pushed by github-merge-queue bot
1h 56m 10s main
main
1h 56m 10s
Small follow-up to Steve's review (#3536) Post-merge APC tests #134: Commit c64edc3 pushed by github-merge-queue bot
1h 8m 13s main
main
1h 8m 13s
Try to improve RC computation by re-using RCs on sub-expressions. (#3… Post-merge APC tests #133: Commit 14c0f1b pushed by github-merge-queue bot
54m 59s main
main
54m 59s
Fix "is_unconstrained()". (#3530) Post-merge APC tests #132: Commit 4365d72 pushed by github-merge-queue bot
57m 48s main
main
57m 48s
Post-merge APC tests Post-merge APC tests #131: Manually run by qwang98
2h 50m 33s update-reth
update-reth
2h 50m 33s
Empirical Constraints: Don't keep entire trace in memory (#3525) Post-merge APC tests #130: Commit d83574b pushed by github-merge-queue bot
2h 12m 30s main
main
2h 12m 30s
Improve empirical constraint collection (#3524) Post-merge APC tests #129: Commit 697ef3e pushed by github-merge-queue bot
1h 25m 5s main
main
1h 25m 5s
Optimistic Precompiles: Make execution count threshold configurable (… Post-merge APC tests #128: Commit 2c5df10 pushed by github-merge-queue bot
27m 24s main
main
27m 24s
PGO for AOT (#3498) Post-merge APC tests #127: Commit 4d0d0a9 pushed by github-merge-queue bot
15m 12s main
main
15m 12s
Post-merge APC tests Post-merge APC tests #126: Manually run by georgwiese
20m 43s fix-mode-arg
fix-mode-arg
20m 43s