Skip to content

Actions: powdr-labs/powdr

Actions

PR tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bootloader fix (#2364) PR tests #11772: Commit 7c38c89 pushed by github-merge-queue bot
January 22, 2025 22:38 In progress main
main
January 22, 2025 22:38 In progress
PR tests PR tests #11771: Merge group checks requested
January 22, 2025 22:00 37m 28s
January 22, 2025 22:00 37m 28s
Error handling in Statement processor PR tests #11770: Pull request #2375 synchronize by gzanitti
January 22, 2025 20:55 37m 36s statement_errors
statement_errors
January 22, 2025 20:55 37m 36s
LSP: Access SourceRef (#2374) PR tests #11769: Commit 73f13fe pushed by github-merge-queue bot
January 22, 2025 20:46 49m 5s main
main
January 22, 2025 20:46 49m 5s
Error handling in Statement processor PR tests #11768: Pull request #2375 opened by gzanitti
January 22, 2025 20:46 9m 0s statement_errors
statement_errors
January 22, 2025 20:46 9m 0s
Human-readable formatting of JIT witgen (error) state. (#2352) PR tests #11767: Commit bb5905d pushed by github-merge-queue bot
January 22, 2025 20:27 19m 1s main
main
January 22, 2025 20:27 19m 1s
Fix fixed lookup that contains constants (#2371) PR tests #11766: Commit 76f87f3 pushed by github-merge-queue bot
January 22, 2025 20:23 36m 24s main
main
January 22, 2025 20:23 36m 24s
PR tests PR tests #11765: Merge group checks requested
January 22, 2025 20:08 37m 31s
January 22, 2025 20:08 37m 31s
PR tests PR tests #11764: Merge group checks requested
January 22, 2025 19:47 40m 15s
January 22, 2025 19:47 40m 15s
PR tests PR tests #11763: Merge group checks requested
January 22, 2025 19:46 36m 0s
January 22, 2025 19:46 36m 0s
Support Not sound challenges in Stwo PR tests #11762: Pull request #2367 synchronize by ShuangWu121
January 22, 2025 19:36 38m 20s stwo-challenges-NotSound
stwo-challenges-NotSound
January 22, 2025 19:36 38m 20s
LSP: Access SourceRef PR tests #11761: Pull request #2374 opened by gzanitti
January 22, 2025 19:32 35m 38s lsp-mods
lsp-mods
January 22, 2025 19:32 35m 38s
Support Not sound challenges in Stwo PR tests #11760: Pull request #2367 synchronize by ShuangWu121
January 22, 2025 19:25 11m 17s stwo-challenges-NotSound
stwo-challenges-NotSound
January 22, 2025 19:25 11m 17s
Support Not sound challenges in Stwo PR tests #11759: Pull request #2367 synchronize by ShuangWu121
January 22, 2025 19:25 43s stwo-challenges-NotSound
stwo-challenges-NotSound
January 22, 2025 19:25 43s
Support Not sound challenges in Stwo PR tests #11758: Pull request #2367 synchronize by ShuangWu121
January 22, 2025 19:02 23m 32s stwo-challenges-NotSound
stwo-challenges-NotSound
January 22, 2025 19:02 23m 32s
Simplify interface. (#2373) PR tests #11757: Commit ec9ac53 pushed by github-merge-queue bot
January 22, 2025 16:18 34m 56s main
main
January 22, 2025 16:18 34m 56s
Fix fixed lookup that contains constants PR tests #11756: Pull request #2371 synchronize by georgwiese
January 22, 2025 15:58 36m 21s fixed-lookup-with-constants
fixed-lookup-with-constants
January 22, 2025 15:58 36m 21s
PR tests PR tests #11755: Merge group checks requested
January 22, 2025 15:37 40m 18s
January 22, 2025 15:37 40m 18s
Fix fixed lookup that contains constants PR tests #11754: Pull request #2371 synchronize by georgwiese
January 22, 2025 15:35 23m 23s fixed-lookup-with-constants
fixed-lookup-with-constants
January 22, 2025 15:35 23m 23s
Fix fixed lookup that contains constants PR tests #11753: Pull request #2371 synchronize by georgwiese
January 22, 2025 15:34 1m 28s fixed-lookup-with-constants
fixed-lookup-with-constants
January 22, 2025 15:34 1m 28s
Implement "can process" for block machine. PR tests #11752: Pull request #2372 synchronize by chriseth
January 22, 2025 15:27 35m 41s call_direct_for_block
call_direct_for_block
January 22, 2025 15:27 35m 41s
Implement "can process" for block machine. PR tests #11751: Pull request #2372 synchronize by chriseth
January 22, 2025 15:22 6m 13s call_direct_for_block
call_direct_for_block
January 22, 2025 15:22 6m 13s
Single receive in bus linker PR tests #11750: Pull request #2359 synchronize by Schaeff
January 22, 2025 14:43 29m 29s bus-single-receive
bus-single-receive
January 22, 2025 14:43 29m 29s
Human-readable formatting of JIT witgen (error) state. PR tests #11749: Pull request #2352 synchronize by chriseth
January 22, 2025 14:16 36m 5s nice_jit_processor_error_summary
nice_jit_processor_error_summary
January 22, 2025 14:16 36m 5s
Human-readable formatting of JIT witgen (error) state. PR tests #11748: Pull request #2352 synchronize by chriseth
January 22, 2025 14:14 1m 58s nice_jit_processor_error_summary
nice_jit_processor_error_summary
January 22, 2025 14:14 1m 58s