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

Set ROM degree PR tests #7272: Pull request #1666 synchronize by Schaeff
August 13, 2024 09:37 23m 25s set-rom-degree
set-rom-degree
August 13, 2024 09:37 23m 25s
Memory machine: Only use the necessary size PR tests #7271: Pull request #1680 opened by georgwiese
August 13, 2024 08:26 24m 16s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 08:26 24m 16s
Memory machine: Only use the necessary size Check markdown links #6113: Pull request #1680 opened by georgwiese
August 13, 2024 08:26 46s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 08:26 46s
Downsize VMs when they reach a loop Check markdown links #6112: Pull request #1676 synchronize by georgwiese
August 13, 2024 08:05 44s dynamic-vadcop3
dynamic-vadcop3
August 13, 2024 08:05 44s
Downsize VMs when they reach a loop PR tests #7270: Pull request #1676 synchronize by georgwiese
August 13, 2024 08:05 24m 24s dynamic-vadcop3
dynamic-vadcop3
August 13, 2024 08:05 24m 24s
Downsize VMs when they reach a loop PR tests #7269: Pull request #1676 synchronize by georgwiese
August 13, 2024 07:59 8m 15s dynamic-vadcop3
dynamic-vadcop3
August 13, 2024 07:59 8m 15s
Downsize VMs when they reach a loop Check markdown links #6111: Pull request #1676 synchronize by georgwiese
August 13, 2024 07:59 43s dynamic-vadcop3
dynamic-vadcop3
August 13, 2024 07:59 43s
Generate rust cache for PR builds Generate rust cache for PR builds #185: Scheduled
August 13, 2024 02:35 24m 17s main
main
August 13, 2024 02:35 24m 17s
Nightly tests Nightly tests #440: Scheduled
August 13, 2024 02:34 6h 0m 38s main
main
August 13, 2024 02:34 6h 0m 38s
Traits unification Check markdown links #6110: Pull request #1625 synchronize by gzanitti
August 12, 2024 18:40 44s gzanitti:traits_unification
gzanitti:traits_unification
August 12, 2024 18:40 44s
Traits unification PR tests #7268: Pull request #1625 synchronize by gzanitti
August 12, 2024 18:40 29m 31s gzanitti:traits_unification
gzanitti:traits_unification
August 12, 2024 18:40 29m 31s
Traits unification PR tests #7267: Pull request #1625 synchronize by gzanitti
August 12, 2024 18:13 29m 31s gzanitti:traits_unification
gzanitti:traits_unification
August 12, 2024 18:13 29m 31s
Traits unification Check markdown links #6109: Pull request #1625 synchronize by gzanitti
August 12, 2024 18:13 53s gzanitti:traits_unification
gzanitti:traits_unification
August 12, 2024 18:13 53s
Traits unification Check markdown links #6108: Pull request #1625 synchronize by gzanitti
August 12, 2024 18:07 47s gzanitti:traits_unification
gzanitti:traits_unification
August 12, 2024 18:07 47s
Traits unification PR tests #7266: Pull request #1625 synchronize by gzanitti
August 12, 2024 18:07 5m 8s gzanitti:traits_unification
gzanitti:traits_unification
August 12, 2024 18:07 5m 8s
Traits unification PR tests #7265: Pull request #1625 synchronize by gzanitti
August 12, 2024 17:22 5m 12s gzanitti:traits_unification
gzanitti:traits_unification
August 12, 2024 17:22 5m 12s
Traits unification Check markdown links #6107: Pull request #1625 synchronize by gzanitti
August 12, 2024 17:22 5m 1s gzanitti:traits_unification
gzanitti:traits_unification
August 12, 2024 17:22 5m 1s
pages build and deployment pages-build-deployment #793: by github-pages bot
August 12, 2024 16:49 44s
August 12, 2024 16:49 44s
support for getrandom crate when std is enabled (#1678) PR tests #7264: Commit 3c63fff pushed by github-merge-queue bot
August 12, 2024 16:45 24m 29s main
main
August 12, 2024 16:45 24m 29s
support for getrandom crate when std is enabled (#1678) Deploy book #801: Commit 3c63fff pushed by github-merge-queue bot
August 12, 2024 16:45 4m 20s main
main
August 12, 2024 16:45 4m 20s
PR tests PR tests #7263: Merge group checks requested
August 12, 2024 16:19 26m 11s
August 12, 2024 16:19 26m 11s
Check markdown links Check markdown links #6106: Merge group checks requested
August 12, 2024 16:19 40s
August 12, 2024 16:19 40s
Set ROM degree PR tests #7262: Pull request #1666 synchronize by Schaeff
August 12, 2024 15:57 26m 2s set-rom-degree
set-rom-degree
August 12, 2024 15:57 26m 2s
Set ROM degree Check markdown links #6105: Pull request #1666 synchronize by Schaeff
August 12, 2024 15:57 52s set-rom-degree
set-rom-degree
August 12, 2024 15:57 52s
Set ROM degree PR tests #7261: Pull request #1666 synchronize by Schaeff
August 12, 2024 15:56 25m 35s set-rom-degree
set-rom-degree
August 12, 2024 15:56 25m 35s