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 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
Traits unification Check markdown links #6124: Pull request #1625 synchronize by gzanitti
August 13, 2024 12:54 43s gzanitti:traits_unification
gzanitti:traits_unification
August 13, 2024 12:54 43s
Traits unification PR tests #7283: Pull request #1625 synchronize by gzanitti
August 13, 2024 12:54 5m 26s gzanitti:traits_unification
gzanitti:traits_unification
August 13, 2024 12:54 5m 26s
Memory machine: Only use the necessary size PR tests #7282: Pull request #1680 synchronize by georgwiese
August 13, 2024 12:48 24m 9s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 12:48 24m 9s
Memory machine: Only use the necessary size Check markdown links #6123: Pull request #1680 synchronize by georgwiese
August 13, 2024 12:48 50s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 12:48 50s
Downsize VMs when they reach a loop PR tests #7281: Pull request #1676 synchronize by georgwiese
August 13, 2024 12:47 24m 45s dynamic-vadcop3
dynamic-vadcop3
August 13, 2024 12:47 24m 45s
Downsize VMs when they reach a loop Check markdown links #6122: Pull request #1676 synchronize by georgwiese
August 13, 2024 12:47 44s dynamic-vadcop3
dynamic-vadcop3
August 13, 2024 12:47 44s
pages build and deployment pages-build-deployment #794: by github-pages bot
August 13, 2024 12:19 52s
August 13, 2024 12:19 52s
Set ROM degree (#1666) PR tests #7280: Commit 6637bba pushed by github-merge-queue bot
August 13, 2024 12:15 23m 25s main
main
August 13, 2024 12:15 23m 25s
Set ROM degree (#1666) Deploy book #802: Commit 6637bba pushed by github-merge-queue bot
August 13, 2024 12:15 4m 14s main
main
August 13, 2024 12:15 4m 14s
Memory machine: Only use the necessary size PR tests #7279: Pull request #1680 synchronize by georgwiese
August 13, 2024 12:09 24m 37s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 12:09 24m 37s
Memory machine: Only use the necessary size Check markdown links #6121: Pull request #1680 synchronize by georgwiese
August 13, 2024 12:09 47s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 12:09 47s
use Rotation::prev() instead of Rotation(degree) PR tests #7278: Pull request #1681 opened by Schaeff
August 13, 2024 12:05 14m 6s use-rotation-prev
use-rotation-prev
August 13, 2024 12:05 14m 6s
use Rotation::prev() instead of Rotation(degree) Check markdown links #6120: Pull request #1681 opened by Schaeff
August 13, 2024 12:05 40s use-rotation-prev
use-rotation-prev
August 13, 2024 12:05 40s
PR tests PR tests #7277: Merge group checks requested
August 13, 2024 11:51 23m 30s
August 13, 2024 11:51 23m 30s
Check markdown links Check markdown links #6119: Merge group checks requested
August 13, 2024 11:51 47s
August 13, 2024 11:51 47s
Memory machine: Only use the necessary size Check markdown links #6118: Pull request #1680 synchronize by georgwiese
August 13, 2024 10:44 46s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 10:44 46s
Memory machine: Only use the necessary size PR tests #7276: Pull request #1680 synchronize by georgwiese
August 13, 2024 10:44 23m 59s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 10:44 23m 59s
Set ROM degree PR tests #7275: Pull request #1666 synchronize by Schaeff
August 13, 2024 10:31 23m 25s set-rom-degree
set-rom-degree
August 13, 2024 10:31 23m 25s
Set ROM degree Check markdown links #6117: Pull request #1666 synchronize by Schaeff
August 13, 2024 10:31 49s set-rom-degree
set-rom-degree
August 13, 2024 10:31 49s
Downsize VMs when they reach a loop Check markdown links #6116: Pull request #1676 synchronize by georgwiese
August 13, 2024 10:20 57s dynamic-vadcop3
dynamic-vadcop3
August 13, 2024 10:20 57s
Downsize VMs when they reach a loop PR tests #7274: Pull request #1676 synchronize by georgwiese
August 13, 2024 10:20 23m 57s dynamic-vadcop3
dynamic-vadcop3
August 13, 2024 10:20 23m 57s
Memory machine: Only use the necessary size Check markdown links #6115: Pull request #1680 synchronize by georgwiese
August 13, 2024 10:11 45s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 10:11 45s
Memory machine: Only use the necessary size PR tests #7273: Pull request #1680 synchronize by georgwiese
August 13, 2024 10:11 24m 28s dynamic-vadcop-mem
dynamic-vadcop-mem
August 13, 2024 10:11 24m 28s
Set ROM degree Check markdown links #6114: Pull request #1666 synchronize by Schaeff
August 13, 2024 09:37 45s set-rom-degree
set-rom-degree
August 13, 2024 09:37 45s