Skip to content

Actions: powdr-labs/powdr

Actions

PR tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-tests.yml
9,898 workflow runs
9,898 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Also use variables for known inputs in machine calls. PR tests #11358: Pull request #2315 synchronize by chriseth
January 8, 2025 17:43 38m 34s introduce_temp_vars_also_for_inputs
introduce_temp_vars_also_for_inputs
January 8, 2025 17:43 38m 34s
bugfix in identifying a chunk's accessed memory PR tests #11357: Pull request #2316 opened by pacheco
January 8, 2025 17:41 24m 38s start-idx-fix
start-idx-fix
January 8, 2025 17:41 24m 38s
Also use variables for known inputs in machine calls. PR tests #11356: Pull request #2315 opened by chriseth
January 8, 2025 17:08 35m 18s introduce_temp_vars_also_for_inputs
introduce_temp_vars_also_for_inputs
January 8, 2025 17:08 35m 18s
pilopt: optimize until fixpoint (#2225) PR tests #11355: Commit 067b633 pushed by github-merge-queue bot
January 8, 2025 16:15 1h 9m 52s main
main
January 8, 2025 16:15 1h 9m 52s
Simplify range constraints. (#2314) PR tests #11354: Commit 707522d pushed by github-merge-queue bot
January 8, 2025 16:12 35m 23s main
main
January 8, 2025 16:12 35m 23s
PR tests PR tests #11353: Merge group checks requested
January 8, 2025 15:38 37m 6s
January 8, 2025 15:38 37m 6s
PR tests PR tests #11352: Merge group checks requested
January 8, 2025 15:36 35m 41s
January 8, 2025 15:36 35m 41s
Simplify range constraints. PR tests #11351: Pull request #2314 opened by chriseth
January 8, 2025 13:51 37m 49s simplify_range_constraints
simplify_range_constraints
January 8, 2025 13:51 37m 49s
Determine range constraints from fixed lookup. PR tests #11350: Pull request #2300 synchronize by chriseth
January 8, 2025 13:26 9m 56s range_from_fixed
range_from_fixed
January 8, 2025 13:26 9m 56s
Determine range constraints from fixed lookup. PR tests #11349: Pull request #2300 synchronize by chriseth
January 8, 2025 13:18 8m 27s range_from_fixed
range_from_fixed
January 8, 2025 13:18 8m 27s
Determine range constraints from fixed lookup. PR tests #11348: Pull request #2300 synchronize by chriseth
January 8, 2025 13:07 10m 59s range_from_fixed
range_from_fixed
January 8, 2025 13:07 10m 59s
Simplify FinalizableData (#2304) PR tests #11347: Commit 379267d pushed by github-merge-queue bot
January 8, 2025 11:54 36m 45s main
main
January 8, 2025 11:54 36m 45s
PR tests PR tests #11346: Merge group checks requested
January 8, 2025 11:17 36m 12s
January 8, 2025 11:17 36m 12s
Refactor ExpressionEvaluator (#2309) PR tests #11345: Commit 04de307 pushed by github-merge-queue bot
January 8, 2025 10:18 34m 58s main
main
January 8, 2025 10:18 34m 58s
PR tests PR tests #11344: Merge group checks requested
January 8, 2025 09:43 34m 47s
January 8, 2025 09:43 34m 47s
Expose profiler session (#2308) PR tests #11343: Commit feb51c4 pushed by github-merge-queue bot
January 8, 2025 02:16 34m 58s main
main
January 8, 2025 02:16 34m 58s
PR tests PR tests #11342: Merge group checks requested
January 8, 2025 01:38 36m 55s
January 8, 2025 01:38 36m 55s
ExpressionWalker PR tests #11341: Pull request #2312 synchronize by georgwiese
January 8, 2025 00:41 36m 34s expression-walker
expression-walker
January 8, 2025 00:41 36m 34s
ExpressionWalker PR tests #11340: Pull request #2312 synchronize by georgwiese
January 8, 2025 00:23 18m 24s expression-walker
expression-walker
January 8, 2025 00:23 18m 24s
ExpressionWalker PR tests #11339: Pull request #2312 opened by georgwiese
January 7, 2025 23:37 36m 8s expression-walker
expression-walker
January 7, 2025 23:37 36m 8s
Expose profiler session PR tests #11338: Pull request #2308 synchronize by leonardoalt
January 7, 2025 22:12 34m 55s expose-profiler-session
expose-profiler-session
January 7, 2025 22:12 34m 55s
Simplify stwo tests PR tests #11337: Pull request #2311 synchronize by ShuangWu121
January 7, 2025 20:11 35m 14s simplify-stwo-test
simplify-stwo-test
January 7, 2025 20:11 35m 14s
Extend stwo to Support Machines with Varying Degrees PR tests #11336: Pull request #2280 synchronize by ShuangWu121
January 7, 2025 19:45 36m 49s stwo-multi-degrees
stwo-multi-degrees
January 7, 2025 19:45 36m 49s
Extend stwo to Support Machines with Varying Degrees PR tests #11335: Pull request #2280 synchronize by ShuangWu121
January 7, 2025 19:39 6m 13s stwo-multi-degrees
stwo-multi-degrees
January 7, 2025 19:39 6m 13s
Check multiplicities in mock prover PR tests #11334: Pull request #2310 synchronize by Schaeff
January 7, 2025 19:17 30m 55s check-multiplicities-in-mock-prover
check-multiplicities-in-mock-prover
January 7, 2025 19:17 30m 55s