Skip to content

Actions: powdr-labs/powdr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19,038 workflow runs
19,038 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add PhantomLookup and PhantomPermutation to Constr Check markdown links #7667: Pull request #1934 synchronize by georgwiese
October 22, 2024 13:38 52s add-phantom-lookups-and-permutations
add-phantom-lookups-and-permutations
October 22, 2024 13:38 52s
Add PhantomLookup and PhantomPermutation to Constr PR tests #8990: Pull request #1934 synchronize by georgwiese
October 22, 2024 13:38 In progress add-phantom-lookups-and-permutations
add-phantom-lookups-and-permutations
October 22, 2024 13:38 In progress
Add4 Machine Check markdown links #7666: Pull request #1937 opened by onurinanc
October 22, 2024 13:29 45s add4
add4
October 22, 2024 13:29 45s
Add4 Machine PR tests #8989: Pull request #1937 opened by onurinanc
October 22, 2024 13:29 In progress add4
add4
October 22, 2024 13:29 In progress
User facing prover session PR tests #8988: Pull request #1936 synchronize by Schaeff
October 22, 2024 13:23 6m 37s session
session
October 22, 2024 13:23 6m 37s
User facing prover session Check markdown links #7665: Pull request #1936 synchronize by Schaeff
October 22, 2024 13:23 57s session
session
October 22, 2024 13:23 57s
User facing prover session PR tests #8987: Pull request #1936 synchronize by leonardoalt
October 22, 2024 13:14 9m 28s session
session
October 22, 2024 13:14 9m 28s
User facing prover session Check markdown links #7664: Pull request #1936 synchronize by leonardoalt
October 22, 2024 13:14 49s session
session
October 22, 2024 13:14 49s
Target test for JIT compiler PR tests #8986: Pull request #1836 synchronize by chriseth
October 22, 2024 13:10 In progress target_test
target_test
October 22, 2024 13:10 In progress
Target test for JIT compiler Check markdown links #7663: Pull request #1836 synchronize by chriseth
October 22, 2024 13:10 1m 7s target_test
target_test
October 22, 2024 13:10 1m 7s
RISCV bootloader types PR tests #8985: Pull request #1935 synchronize by pacheco
October 22, 2024 12:27 45m 13s riscv-bootloader-types
riscv-bootloader-types
October 22, 2024 12:27 45m 13s
RISCV bootloader types Check markdown links #7662: Pull request #1935 synchronize by pacheco
October 22, 2024 12:27 1m 21s riscv-bootloader-types
riscv-bootloader-types
October 22, 2024 12:27 1m 21s
RISCV bootloader types PR tests #8984: Pull request #1935 synchronize by pacheco
October 22, 2024 12:21 6m 22s riscv-bootloader-types
riscv-bootloader-types
October 22, 2024 12:21 6m 22s
RISCV bootloader types Check markdown links #7661: Pull request #1935 synchronize by pacheco
October 22, 2024 12:21 45s riscv-bootloader-types
riscv-bootloader-types
October 22, 2024 12:21 45s
pages build and deployment pages-build-deployment #928: by github-pages bot
October 22, 2024 10:39 37s
October 22, 2024 10:39 37s
Fix trait function lookup in asm. (#1931) Deploy book #966: Commit 0a503c0 pushed by github-merge-queue bot
October 22, 2024 10:34 4m 57s main
main
October 22, 2024 10:34 4m 57s
Fix trait function lookup in asm. (#1931) PR tests #8983: Commit 0a503c0 pushed by github-merge-queue bot
October 22, 2024 10:34 44m 24s main
main
October 22, 2024 10:34 44m 24s
User facing prover session Check markdown links #7660: Pull request #1936 synchronize by leonardoalt
October 22, 2024 09:48 47s session
session
October 22, 2024 09:48 47s
User facing prover session PR tests #8982: Pull request #1936 synchronize by leonardoalt
October 22, 2024 09:48 35m 10s session
session
October 22, 2024 09:48 35m 10s
Check markdown links Check markdown links #7659: Merge group checks requested
October 22, 2024 09:45 48s
October 22, 2024 09:45 48s
PR tests PR tests #8981: Merge group checks requested
October 22, 2024 09:45 48m 28s
October 22, 2024 09:45 48m 28s
User facing prover session Check markdown links #7658: Pull request #1936 opened by leonardoalt
October 22, 2024 08:02 48s session
session
October 22, 2024 08:02 48s
User facing prover session PR tests #8980: Pull request #1936 opened by leonardoalt
October 22, 2024 08:02 35m 40s session
session
October 22, 2024 08:02 35m 40s
Generate rust cache for PR builds Generate rust cache for PR builds #269: Scheduled
October 22, 2024 02:49 24m 54s main
main
October 22, 2024 02:49 24m 54s
Nightly tests Nightly tests #510: Scheduled
October 22, 2024 02:48 37m 13s main
main
October 22, 2024 02:48 37m 13s