Skip to content

Actions: powdr-labs/powdr

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22,633 workflow runs
22,633 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate rust cache for PR builds
Generate rust cache for PR builds #363: Scheduled
January 20, 2025 02:44 32m 16s main
January 20, 2025 02:44 32m 16s
Nightly tests
Nightly tests #611: Scheduled
January 20, 2025 02:42 13s main
January 20, 2025 02:42 13s
pages build and deployment
pages-build-deployment #1921: by github-pages bot
January 19, 2025 21:33 34s gh-pages
January 19, 2025 21:33 34s
Witgen: Use bus natively (2)
Check markdown links #10024: Pull request #2361 synchronize by georgwiese
January 19, 2025 21:09 41s native-bus2
January 19, 2025 21:09 41s
Witgen: Use bus natively (2)
PR tests #11664: Pull request #2361 synchronize by georgwiese
January 19, 2025 21:09 29m 47s native-bus2
January 19, 2025 21:09 29m 47s
pages build and deployment
pages-build-deployment #1920: by github-pages bot
January 19, 2025 19:18 35s gh-pages
January 19, 2025 19:18 35s
Witgen: Use bus natively (2)
PR tests #11663: Pull request #2361 synchronize by georgwiese
January 19, 2025 19:04 17m 4s native-bus2
January 19, 2025 19:04 17m 4s
Witgen: Use bus natively (2)
Check markdown links #10023: Pull request #2361 synchronize by georgwiese
January 19, 2025 19:04 46s native-bus2
January 19, 2025 19:04 46s
Witgen: Use bus natively (2)
Check markdown links #10022: Pull request #2361 synchronize by georgwiese
January 19, 2025 18:57 48s native-bus2
January 19, 2025 18:57 48s
Witgen: Use bus natively (2)
PR tests #11662: Pull request #2361 synchronize by georgwiese
January 19, 2025 18:57 7m 29s native-bus2
January 19, 2025 18:57 7m 29s
pages build and deployment
pages-build-deployment #1919: by github-pages bot
January 19, 2025 13:37 35s gh-pages
January 19, 2025 13:37 35s
Witgen: Use bus natively (2)
Check markdown links #10021: Pull request #2361 synchronize by georgwiese
January 19, 2025 13:22 45s native-bus2
January 19, 2025 13:22 45s
Witgen: Use bus natively (2)
PR tests #11661: Pull request #2361 synchronize by georgwiese
January 19, 2025 13:22 17m 36s native-bus2
January 19, 2025 13:22 17m 36s
Generate rust cache for PR builds
Generate rust cache for PR builds #362: Scheduled
January 19, 2025 02:47 31m 58s main
January 19, 2025 02:47 31m 58s
Nightly tests
Nightly tests #610: Scheduled
January 19, 2025 02:45 4h 37m 1s main
January 19, 2025 02:45 4h 37m 1s
pages build and deployment
pages-build-deployment #1918: by github-pages bot
January 19, 2025 00:53 35s gh-pages
January 19, 2025 00:53 35s
pages build and deployment
pages-build-deployment #1917: by github-pages bot
January 19, 2025 00:46 38s gh-pages
January 19, 2025 00:46 38s
pages build and deployment
pages-build-deployment #1916: by github-pages bot
January 19, 2025 00:46 36s gh-pages
January 19, 2025 00:46 36s
Witgen: Use bus natively (2)
Check markdown links #10020: Pull request #2361 opened by georgwiese
January 19, 2025 00:39 43s native-bus2
January 19, 2025 00:39 43s
Witgen: Use bus natively (2)
PR tests #11660: Pull request #2361 opened by georgwiese
January 19, 2025 00:39 17m 44s native-bus2
January 19, 2025 00:39 17m 44s
pages build and deployment
pages-build-deployment #1915: by github-pages bot
January 19, 2025 00:28 36s gh-pages
January 19, 2025 00:28 36s
pages build and deployment
pages-build-deployment #1914: by github-pages bot
January 19, 2025 00:24 41s gh-pages
January 19, 2025 00:24 41s
Make latch semantic clearer
Check markdown links #10019: Pull request #2358 synchronize by georgwiese
January 19, 2025 00:24 46s make-latch-semantic-clearer
January 19, 2025 00:24 46s
Make latch semantic clearer
PR tests #11659: Pull request #2358 synchronize by georgwiese
January 19, 2025 00:24 34m 42s make-latch-semantic-clearer
January 19, 2025 00:24 34m 42s
Fix evaluator for Minus operator (#2360)
PR tests #11658: Commit f140699 pushed by github-merge-queue bot
January 19, 2025 00:23 34m 10s main
January 19, 2025 00:23 34m 10s