Skip to content

Actions: powdr-labs/powdr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15,493 workflow run results
15,493 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Traits unification Check markdown links #6134: Pull request #1625 synchronize by gzanitti
August 13, 2024 21:00 49s gzanitti:traits_unification
gzanitti:traits_unification
August 13, 2024 21:00 49s
Traits unification PR tests #7295: Pull request #1625 synchronize by gzanitti
August 13, 2024 21:00 5m 13s gzanitti:traits_unification
gzanitti:traits_unification
August 13, 2024 21:00 5m 13s
Traits unification PR tests #7294: Pull request #1625 synchronize by gzanitti
August 13, 2024 19:27 5m 40s gzanitti:traits_unification
gzanitti:traits_unification
August 13, 2024 19:27 5m 40s
Traits unification Check markdown links #6133: Pull request #1625 synchronize by gzanitti
August 13, 2024 19:27 1m 6s gzanitti:traits_unification
gzanitti:traits_unification
August 13, 2024 19:27 1m 6s
Baby bear initial machine tests PR tests #7293: Pull request #1682 synchronize by leonardoalt
August 13, 2024 16:01 47m 15s baby-bear-field
baby-bear-field
August 13, 2024 16:01 47m 15s
Baby bear initial machine tests Check markdown links #6132: Pull request #1682 synchronize by leonardoalt
August 13, 2024 16:01 42s baby-bear-field
baby-bear-field
August 13, 2024 16:01 42s
Memory machine: Only use the necessary size PR tests #7292: Pull request #1680 synchronize by georgwiese
August 13, 2024 15:51 24m 39s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 15:51 24m 39s
Memory machine: Only use the necessary size Check markdown links #6131: Pull request #1680 synchronize by georgwiese
August 13, 2024 15:51 53s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 15:51 53s
Memory machine: Only use the necessary size PR tests #7291: Pull request #1680 synchronize by georgwiese
August 13, 2024 15:40 24m 56s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 15:40 24m 56s
Memory machine: Only use the necessary size Check markdown links #6130: Pull request #1680 synchronize by georgwiese
August 13, 2024 15:40 43s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 15:40 43s
RISC-V machine: Use dynamic VADCOP Check markdown links #6129: Pull request #1683 opened by georgwiese
August 13, 2024 15:37 39s riscv-dynamic-vadcop
riscv-dynamic-vadcop
August 13, 2024 15:37 39s
RISC-V machine: Use dynamic VADCOP PR tests #7290: Pull request #1683 opened by georgwiese
August 13, 2024 15:37 14m 47s riscv-dynamic-vadcop
riscv-dynamic-vadcop
August 13, 2024 15:37 14m 47s
pages build and deployment pages-build-deployment #796: by github-pages bot
August 13, 2024 15:35 47s
August 13, 2024 15:35 47s
pages build and deployment pages-build-deployment #795: by github-pages bot
August 13, 2024 15:34 43s
August 13, 2024 15:34 43s
Downsize VMs when they reach a loop (#1676) PR tests #7289: Commit 88785a8 pushed by github-merge-queue bot
August 13, 2024 15:31 24m 11s main
main
August 13, 2024 15:31 24m 11s
Downsize VMs when they reach a loop (#1676) Deploy book #804: Commit 88785a8 pushed by github-merge-queue bot
August 13, 2024 15:31 4m 23s main
main
August 13, 2024 15:31 4m 23s
Run Halo2 MockProver even when POWDR_GENERATE_PROOFS=false (#1629) Deploy book #803: Commit 2b9984c pushed by github-merge-queue bot
August 13, 2024 15:29 4m 32s main
main
August 13, 2024 15:29 4m 32s
Run Halo2 MockProver even when POWDR_GENERATE_PROOFS=false (#1629) PR tests #7288: Commit 2b9984c pushed by github-merge-queue bot
August 13, 2024 15:29 23m 50s main
main
August 13, 2024 15:29 23m 50s
Check markdown links Check markdown links #6128: Merge group checks requested
August 13, 2024 15:05 1m 4s
August 13, 2024 15:05 1m 4s
PR tests PR tests #7287: Merge group checks requested
August 13, 2024 15:05 25m 4s
August 13, 2024 15:05 25m 4s
PR tests PR tests #7286: Merge group checks requested
August 13, 2024 15:05 23m 30s
August 13, 2024 15:05 23m 30s
Check markdown links Check markdown links #6127: Merge group checks requested
August 13, 2024 15:05 47s
August 13, 2024 15:05 47s
Baby bear initial machine tests PR tests #7285: Pull request #1682 opened by leonardoalt
August 13, 2024 14:54 25m 37s baby-bear-field
baby-bear-field
August 13, 2024 14:54 25m 37s
Baby bear initial machine tests Check markdown links #6126: Pull request #1682 opened by leonardoalt
August 13, 2024 14:54 49s baby-bear-field
baby-bear-field
August 13, 2024 14:54 49s
Traits unification PR tests #7284: Pull request #1625 synchronize by gzanitti
August 13, 2024 13:30 30m 5s gzanitti:traits_unification
gzanitti:traits_unification
August 13, 2024 13:30 30m 5s