Skip to content

Actions: powdr-labs/powdr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18,074 workflow runs
18,074 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

JIT: proper function types. PR tests #8456: Pull request #1866 synchronize by chriseth
October 2, 2024 16:13 14m 42s function_types_for_jit
function_types_for_jit
October 2, 2024 16:13 14m 42s
JIT: proper function types. Check markdown links #7188: Pull request #1866 synchronize by chriseth
October 2, 2024 16:13 47s function_types_for_jit
function_types_for_jit
October 2, 2024 16:13 47s
new optimizer rules Check markdown links #7187: Pull request #1867 opened by leonardoalt
October 2, 2024 15:20 53s optimizer-perm
optimizer-perm
October 2, 2024 15:20 53s
new optimizer rules PR tests #8455: Pull request #1867 opened by leonardoalt
October 2, 2024 15:20 29m 56s optimizer-perm
optimizer-perm
October 2, 2024 15:20 29m 56s
JIT: proper function types. PR tests #8454: Pull request #1866 synchronize by chriseth
October 2, 2024 14:42 32m 28s function_types_for_jit
function_types_for_jit
October 2, 2024 14:42 32m 28s
JIT: proper function types. Check markdown links #7186: Pull request #1866 synchronize by chriseth
October 2, 2024 14:42 50s function_types_for_jit
function_types_for_jit
October 2, 2024 14:42 50s
Jit enums PR tests #8453: Pull request #1858 synchronize by chriseth
October 2, 2024 14:26 29m 54s jit_enums
jit_enums
October 2, 2024 14:26 29m 54s
Jit enums Check markdown links #7185: Pull request #1858 synchronize by chriseth
October 2, 2024 14:26 45s jit_enums
jit_enums
October 2, 2024 14:26 45s
Jit enums PR tests #8452: Pull request #1858 synchronize by chriseth
October 2, 2024 14:20 6m 36s jit_enums
jit_enums
October 2, 2024 14:20 6m 36s
Jit enums Check markdown links #7184: Pull request #1858 synchronize by chriseth
October 2, 2024 14:20 48s jit_enums
jit_enums
October 2, 2024 14:20 48s
Jit enums PR tests #8451: Pull request #1858 synchronize by chriseth
October 2, 2024 14:18 2m 6s jit_enums
jit_enums
October 2, 2024 14:18 2m 6s
Jit enums Check markdown links #7183: Pull request #1858 synchronize by chriseth
October 2, 2024 14:18 54s jit_enums
jit_enums
October 2, 2024 14:18 54s
Jit enums Check markdown links #7182: Pull request #1858 synchronize by chriseth
October 2, 2024 14:15 45s jit_enums
jit_enums
October 2, 2024 14:15 45s
Jit enums PR tests #8450: Pull request #1858 synchronize by chriseth
October 2, 2024 14:15 3m 46s jit_enums
jit_enums
October 2, 2024 14:15 3m 46s
JIT: Support block statements PR tests #8449: Pull request #1841 synchronize by chriseth
October 2, 2024 14:03 30m 54s let_statements_in_block
let_statements_in_block
October 2, 2024 14:03 30m 54s
JIT: Support block statements Check markdown links #7181: Pull request #1841 synchronize by chriseth
October 2, 2024 14:03 46s let_statements_in_block
let_statements_in_block
October 2, 2024 14:03 46s
pages build and deployment pages-build-deployment #901: by github-pages bot
October 2, 2024 13:44 42s
October 2, 2024 13:44 42s
Using Warpbuild instead of BuildJet (#1860) Deploy book #911: Commit 7b7e727 pushed by github-merge-queue bot
October 2, 2024 13:39 4m 56s main
main
October 2, 2024 13:39 4m 56s
Using Warpbuild instead of BuildJet (#1860) PR tests #8448: Commit 7b7e727 pushed by github-merge-queue bot
October 2, 2024 13:39 48m 19s main
main
October 2, 2024 13:39 48m 19s
pages build and deployment pages-build-deployment #900: by github-pages bot
October 2, 2024 13:34 45s
October 2, 2024 13:34 45s
JIT support for match expressions. (#1838) PR tests #8447: Commit eebbe5f pushed by github-merge-queue bot
October 2, 2024 13:29 27m 21s main
main
October 2, 2024 13:29 27m 21s
JIT support for match expressions. (#1838) Deploy book #910: Commit eebbe5f pushed by github-merge-queue bot
October 2, 2024 13:29 4m 55s main
main
October 2, 2024 13:29 4m 55s
PR tests PR tests #8446: Merge group checks requested
October 2, 2024 13:08 30m 29s
October 2, 2024 13:08 30m 29s
Check markdown links Check markdown links #7180: Merge group checks requested
October 2, 2024 13:08 49s
October 2, 2024 13:08 49s
PR tests PR tests #8445: Merge group checks requested
October 2, 2024 12:59 28m 43s
October 2, 2024 12:59 28m 43s