Skip to content

Actions: powdr-labs/powdr

Actions

PR tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-tests.yml
10,056 workflow runs
10,056 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Specialize functions for operation id. (#2440) PR tests #12286: Commit c5202a9 pushed by github-merge-queue bot
February 10, 2025 19:18 Pending main
main
February 10, 2025 19:18 Pending
Provide caller range constraints for solving. (#2466) PR tests #12285: Commit 5075011 pushed by github-merge-queue bot
February 10, 2025 19:14 In progress main
main
February 10, 2025 19:14 In progress
PR tests PR tests #12284: Merge group checks requested
February 10, 2025 18:36 41m 23s
February 10, 2025 18:36 41m 23s
PR tests PR tests #12283: Merge group checks requested
February 10, 2025 18:34 39m 18s
February 10, 2025 18:34 39m 18s
Split assignments PR tests #12282: Pull request #2463 synchronize by chriseth
February 10, 2025 18:27 39m 36s split_assignments
split_assignments
February 10, 2025 18:27 39m 36s
Simplify outer query PR tests #12281: Pull request #2467 opened by chriseth
February 10, 2025 18:07 40m 31s simplify_outer_query
simplify_outer_query
February 10, 2025 18:07 40m 31s
Specialize functions for operation id. PR tests #12280: Pull request #2440 synchronize by chriseth
February 10, 2025 17:18 40m 41s specialize_on_operation_id
specialize_on_operation_id
February 10, 2025 17:18 40m 41s
Provide caller range constraints for solving. PR tests #12279: Pull request #2466 synchronize by chriseth
February 10, 2025 17:08 40m 42s caller_range_constraints
caller_range_constraints
February 10, 2025 17:08 40m 42s
Provide caller range constraints for solving. PR tests #12278: Pull request #2466 synchronize by chriseth
February 10, 2025 17:07 57s caller_range_constraints
caller_range_constraints
February 10, 2025 17:07 57s
Provide caller range constraints for solving. PR tests #12277: Pull request #2466 synchronize by chriseth
February 10, 2025 17:07 39s caller_range_constraints
caller_range_constraints
February 10, 2025 17:07 39s
Provide caller range constraints for solving. PR tests #12276: Pull request #2466 opened by chriseth
February 10, 2025 17:05 2m 6s caller_range_constraints
caller_range_constraints
February 10, 2025 17:05 2m 6s
Prover functions in queue (#2461) PR tests #12275: Commit 7d09c9d pushed by github-merge-queue bot
February 10, 2025 16:43 39m 26s main
main
February 10, 2025 16:43 39m 26s
PR tests PR tests #12274: Merge group checks requested
February 10, 2025 16:03 39m 32s
February 10, 2025 16:03 39m 32s
Bus multi interaction (arbitrary number of columns) PR tests #12273: Pull request #2457 synchronize by qwang98
February 10, 2025 11:50 39m 24s bus-multi-interaction-even-odd
bus-multi-interaction-even-odd
February 10, 2025 11:50 39m 24s
Bus Interaction Enum PR tests #12272: Pull request #2465 opened by qwang98
February 10, 2025 08:14 27m 7s bus-interaction-enum
bus-interaction-enum
February 10, 2025 08:14 27m 7s
Linear constraint remover PR tests #12271: Pull request #2425 synchronize by Schaeff
February 8, 2025 17:17 27m 44s linear-constraint-remover
linear-constraint-remover
February 8, 2025 17:17 27m 44s
Stwo publics PR tests #12270: Pull request #2438 synchronize by ShuangWu121
February 8, 2025 09:37 37m 53s stwo-publics
stwo-publics
February 8, 2025 09:37 37m 53s
Stwo publics PR tests #12269: Pull request #2438 synchronize by ShuangWu121
February 7, 2025 20:44 40m 43s stwo-publics
stwo-publics
February 7, 2025 20:44 40m 43s
Stwo publics PR tests #12268: Pull request #2438 synchronize by ShuangWu121
February 7, 2025 20:23 20m 54s stwo-publics
stwo-publics
February 7, 2025 20:23 20m 54s
Range constraints from failing lookups. PR tests #12267: Pull request #2444 synchronize by chriseth
February 7, 2025 15:34 38m 24s range_constraints_from_failing_lookup
range_constraints_from_failing_lookup
February 7, 2025 15:34 38m 24s
Range constraints from failing lookups. PR tests #12266: Pull request #2444 synchronize by chriseth
February 7, 2025 15:32 2m 29s range_constraints_from_failing_lookup
range_constraints_from_failing_lookup
February 7, 2025 15:32 2m 29s
Split assignments PR tests #12265: Pull request #2463 synchronize by chriseth
February 7, 2025 15:24 38m 45s split_assignments
split_assignments
February 7, 2025 15:24 38m 45s
Prover functions in queue PR tests #12264: Pull request #2461 synchronize by chriseth
February 7, 2025 15:20 39m 6s prover_functions_in_queue
prover_functions_in_queue
February 7, 2025 15:20 39m 6s
Split assignments PR tests #12263: Pull request #2463 synchronize by chriseth
February 7, 2025 15:09 14m 54s split_assignments
split_assignments
February 7, 2025 15:09 14m 54s
Split assignments PR tests #12262: Pull request #2463 synchronize by chriseth
February 7, 2025 15:08 1m 33s split_assignments
split_assignments
February 7, 2025 15:08 1m 33s