Skip to content

Actions: powdr-labs/powdr

Actions

Deploy book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-book.yml
1,117 workflow runs
1,117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not store second branch condition. (#2397) Deploy book #1317: Commit 8d89d80 pushed by github-merge-queue bot
January 28, 2025 16:18 5m 37s main
main
January 28, 2025 16:18 5m 37s
Witgen: Use bus natively (#2361) Deploy book #1316: Commit 3a42332 pushed by github-merge-queue bot
January 28, 2025 16:02 5m 42s main
main
January 28, 2025 16:02 5m 42s
Do not consider identities with next references on the last row. (#2392) Deploy book #1315: Commit 2607090 pushed by github-merge-queue bot
January 28, 2025 12:41 5m 36s main
main
January 28, 2025 12:41 5m 36s
Implement "can process" for block machine. (#2372) Deploy book #1314: Commit c2886cc pushed by github-merge-queue bot
January 27, 2025 18:42 5m 49s main
main
January 27, 2025 18:42 5m 49s
add div instr test to pr tests (#2388) Deploy book #1313: Commit 7c2012c pushed by github-merge-queue bot
January 27, 2025 17:22 5m 42s main
main
January 27, 2025 17:22 5m 42s
Better out-of-bounds logging for block machine. (#2391) Deploy book #1312: Commit 496116f pushed by github-merge-queue bot
January 27, 2025 15:13 5m 37s main
main
January 27, 2025 15:13 5m 37s
Simplify already in the evaluator in witgen. (#2390) Deploy book #1311: Commit 48ab7bf pushed by github-merge-queue bot
January 27, 2025 13:11 5m 48s main
main
January 27, 2025 13:11 5m 48s
Error handling in Statement processor (#2375) Deploy book #1310: Commit 6f1ba0a pushed by github-merge-queue bot
January 27, 2025 11:27 5m 33s main
main
January 27, 2025 11:27 5m 33s
Derive range constraints in witjitgen (#2376) Deploy book #1309: Commit 070b284 pushed by github-merge-queue bot
January 24, 2025 23:54 5m 51s main
main
January 24, 2025 23:54 5m 51s
Use macro in KnownMachine. (#2386) Deploy book #1308: Commit e5700b6 pushed by github-merge-queue bot
January 24, 2025 23:48 5m 31s main
main
January 24, 2025 23:48 5m 31s
Extract compute_row_block. (#2387) Deploy book #1307: Commit 1a51876 pushed by github-merge-queue bot
January 24, 2025 23:48 5m 44s main
main
January 24, 2025 23:48 5m 44s
Simple solution for one-row block machines. (#2385) Deploy book #1306: Commit d837bf7 pushed by github-merge-queue bot
January 24, 2025 11:48 5m 54s main
main
January 24, 2025 11:48 5m 54s
Handle error inside ingest_effects. (#2384) Deploy book #1305: Commit 4ff24d3 pushed by github-merge-queue bot
January 24, 2025 10:47 5m 42s main
main
January 24, 2025 10:47 5m 42s
Also propagate range constraints if the symbolic evaluation is not ex… Deploy book #1304: Commit 2fe6739 pushed by github-merge-queue bot
January 23, 2025 15:58 5m 54s main
main
January 23, 2025 15:58 5m 54s
Disjunction of range constraints. (#2380) Deploy book #1303: Commit 6cec630 pushed by github-merge-queue bot
January 23, 2025 15:35 5m 35s main
main
January 23, 2025 15:35 5m 35s
Memory machine: Assert that step must not decrease (#2383) Deploy book #1302: Commit 0ed77b8 pushed by github-merge-queue bot
January 23, 2025 14:44 5m 37s main
main
January 23, 2025 14:44 5m 37s
Access to nonconstant fixed columns. (#2368) Deploy book #1301: Commit 229272f pushed by github-merge-queue bot
January 23, 2025 13:39 5m 32s main
main
January 23, 2025 13:39 5m 32s
Exit early in compile_witgen_function. (#2379) Deploy book #1300: Commit c06ee6c pushed by github-merge-queue bot
January 23, 2025 11:25 7m 41s main
main
January 23, 2025 11:25 7m 41s
Simplify constructor of Processor. (#2378) Deploy book #1299: Commit 60e9567 pushed by github-merge-queue bot
January 23, 2025 11:16 5m 34s main
main
January 23, 2025 11:16 5m 34s
Fix bug in RangeConstraint::allows_value. (#2377) Deploy book #1298: Commit 30493d9 pushed by github-merge-queue bot
January 23, 2025 11:11 5m 59s main
main
January 23, 2025 11:11 5m 59s
Using JAL instead of CALL, allowing any link register. (#2365) Deploy book #1297: Commit 9997eee pushed by github-merge-queue bot
January 23, 2025 09:48 5m 35s main
main
January 23, 2025 09:48 5m 35s
Process identities in order (if possible) (#2323) Deploy book #1296: Commit 8140285 pushed by github-merge-queue bot
January 23, 2025 09:43 6m 3s main
main
January 23, 2025 09:43 6m 3s
Bootloader fix (#2364) Deploy book #1295: Commit 7c38c89 pushed by github-merge-queue bot
January 22, 2025 22:38 5m 35s main
main
January 22, 2025 22:38 5m 35s
LSP: Access SourceRef (#2374) Deploy book #1294: Commit 73f13fe pushed by github-merge-queue bot
January 22, 2025 20:46 5m 31s main
main
January 22, 2025 20:46 5m 31s
Human-readable formatting of JIT witgen (error) state. (#2352) Deploy book #1293: Commit bb5905d pushed by github-merge-queue bot
January 22, 2025 20:27 5m 41s main
main
January 22, 2025 20:27 5m 41s