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

Full FE in memory word (#2472) Deploy book #1392: Commit 0569c3f pushed by github-merge-queue bot
February 28, 2025 15:32 5m 40s main
main
February 28, 2025 15:32 5m 40s
Native bus interaction (#2508) Deploy book #1391: Commit 6440b72 pushed by github-merge-queue bot
February 27, 2025 10:37 5m 50s main
main
February 27, 2025 10:37 5m 50s
Do not skip the current queue item. (#2496) Deploy book #1390: Commit d81f8bd pushed by github-merge-queue bot
February 19, 2025 09:46 5m 52s main
main
February 19, 2025 09:46 5m 52s
Missed log message. (#2497) Deploy book #1389: Commit e7db853 pushed by github-merge-queue bot
February 19, 2025 09:42 5m 35s main
main
February 19, 2025 09:42 5m 35s
Remove dead code excemptions. (#2501) Deploy book #1388: Commit c396b97 pushed by github-merge-queue bot
February 19, 2025 09:42 5m 54s main
main
February 19, 2025 09:42 5m 54s
Fix opioid. (#2499) Deploy book #1387: Commit b1885c9 pushed by github-merge-queue bot
February 18, 2025 20:47 5m 38s main
main
February 18, 2025 20:47 5m 38s
Mark zero-selector calls as complete. (#2493) Deploy book #1386: Commit eee8767 pushed by github-merge-queue bot
February 18, 2025 13:33 6m 2s main
main
February 18, 2025 13:33 6m 2s
Format incomplete sends separately. (#2494) Deploy book #1385: Commit 4d2ceec pushed by github-merge-queue bot
February 18, 2025 12:48 5m 52s main
main
February 18, 2025 12:48 5m 52s
Make memory arith JIT ready (#2492) Deploy book #1384: Commit 7a16150 pushed by github-merge-queue bot
February 17, 2025 23:00 5m 38s main
main
February 17, 2025 23:00 5m 38s
Bus interaction linker single accumulator (#2486) Deploy book #1383: Commit 59c1eff pushed by github-merge-queue bot
February 17, 2025 16:30 5m 46s main
main
February 17, 2025 16:30 5m 46s
Bus interaction linker tests (#2484) Deploy book #1382: Commit 7f06618 pushed by github-merge-queue bot
February 17, 2025 14:52 5m 53s main
main
February 17, 2025 14:52 5m 53s
Support compiling prover functions. (#2478) Deploy book #1381: Commit 1538b5f pushed by github-merge-queue bot
February 17, 2025 13:21 5m 57s main
main
February 17, 2025 13:21 5m 57s
Move block shape check (#2471) Deploy book #1380: Commit e6a7f86 pushed by github-merge-queue bot
February 17, 2025 11:51 5m 55s main
main
February 17, 2025 11:51 5m 55s
Bus interaction simplify API (#2483) Deploy book #1379: Commit ee650ef pushed by github-merge-queue bot
February 17, 2025 09:44 5m 55s main
main
February 17, 2025 09:44 5m 55s
update stwo version to the latest (#2489) Deploy book #1378: Commit 8606fa0 pushed by github-merge-queue bot
February 16, 2025 14:51 5m 40s main
main
February 16, 2025 14:51 5m 40s
Bus interaction batch lookup and permutation test (#2479) Deploy book #1377: Commit a6cde3b pushed by github-merge-queue bot
February 14, 2025 15:49 6m 1s main
main
February 14, 2025 15:49 6m 1s
30-bit bus interaction ID (#2474) Deploy book #1376: Commit 187c796 pushed by github-merge-queue bot
February 14, 2025 13:35 5m 42s main
main
February 14, 2025 13:35 5m 42s
Bus Interaction Enum (#2465) Deploy book #1375: Commit 7671334 pushed by github-merge-queue bot
February 14, 2025 10:25 5m 39s main
main
February 14, 2025 10:25 5m 39s
Fix bus interaction Children implementation (#2482) Deploy book #1374: Commit a1df755 pushed by github-merge-queue bot
February 14, 2025 10:19 5m 49s main
main
February 14, 2025 10:19 5m 49s
Support range constraints of products. (#2477) Deploy book #1373: Commit 8481fd3 pushed by github-merge-queue bot
February 13, 2025 12:04 5m 38s main
main
February 13, 2025 12:04 5m 38s
Stwo publics (#2438) Deploy book #1372: Commit 68b2515 pushed by github-merge-queue bot
February 13, 2025 10:46 5m 34s main
main
February 13, 2025 10:46 5m 34s
Try zero, but only for simple send params. (#2475) Deploy book #1371: Commit fb5bbd2 pushed by github-merge-queue bot
February 13, 2025 10:27 6m 31s main
main
February 13, 2025 10:27 6m 31s
Bus multi interaction batch lookup and permutation receives (#2469) Deploy book #1370: Commit 27ce67a pushed by github-merge-queue bot
February 13, 2025 05:16 5m 42s main
main
February 13, 2025 05:16 5m 42s
Add logging for stwo backend (#2476) Deploy book #1369: Commit 7061fb9 pushed by github-merge-queue bot
February 12, 2025 19:30 5m 38s main
main
February 12, 2025 19:30 5m 38s
Pilopt: Optimize associative ADD operations (#2419) Deploy book #1368: Commit 01e7148 pushed by github-merge-queue bot
February 12, 2025 16:53 6m 2s main
main
February 12, 2025 16:53 6m 2s