Skip to content

Actions: assura-lang/assura

Actions

Deploy Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
98 workflow runs
98 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(cli): doctor optional deps, init next step, and check --timeout (… Deploy Docs #98: Commit 769a728 pushed by SebTardif
42s main
main
42s
chore: advertise MSRV 1.85 and cover CLI JSON error paths (#1503) Deploy Docs #97: Commit e850b93 pushed by SebTardif
44s main
main
44s
docs: post-purge error-code honesty and recount (#1497) Deploy Docs #96: Commit b5ece7b pushed by assura-auto-approve Bot
58s main
main
58s
fix: remove pure-listing unused error codes from SPEC and catalog (#1… Deploy Docs #95: Commit c60974b pushed by assura-auto-approve Bot
45s main
main
45s
fix: drop 5 non-SPEC hollow catalog error codes (#1495) Deploy Docs #94: Commit fa0d777 pushed by assura-auto-approve Bot
59s main
main
59s
fix: strip cfg(test) extern mods without over-skipping (#1494) Deploy Docs #93: Commit c278268 pushed by assura-auto-approve Bot
41s main
main
41s
fix: harden hollow catalog freeze after review (#1493) Deploy Docs #92: Commit 584d8cb pushed by assura-auto-approve Bot
48s main
main
48s
fix: freeze hollow catalog set (guards section 15) (#1492) Deploy Docs #91: Commit 106a580 pushed by assura-auto-approve Bot
52s main
main
52s
fix: stop hollow catalog codes from seeding implement tickets (#1491) Deploy Docs #90: Commit 57f60fc pushed by SebTardif
1m 0s main
main
1m 0s
fix: ban phantom Axxxxx codes with guards section 14 (#1489) Deploy Docs #89: Commit fd4fbe3 pushed by assura-auto-approve Bot
51s main
main
51s
fix: honest error-code docs and high-traffic primary paths (#1488) Deploy Docs #88: Commit 8eb9479 pushed by SebTardif
46s main
main
46s
docs: complete high-traffic error-codes index (#1485) Deploy Docs #87: Commit 6551dbb pushed by SebTardif
51s main
main
51s
docs: next high-traffic error codes and MASTER-PLAN recount (#1484) Deploy Docs #86: Commit d7a35a4 pushed by SebTardif
46s main
main
46s
docs: added next 20 highest-traffic error codes to index (#1480) Deploy Docs #85: Commit d338a80 pushed by assura-auto-approve Bot
57s main
main
57s
fix: brace-expansion advisories and MPI hygiene (#1478) Deploy Docs #84: Commit c836059 pushed by SebTardif
48s main
main
48s
check-rust: CFG SSA join for if/match mutation (#1468) Deploy Docs #83: Commit 113b2d9 pushed by assura-auto-approve Bot
40s main
main
40s
docs: check-rust onboarding discoverability + CotW draft (#1467) Deploy Docs #82: Commit f1b9e60 pushed by assura-auto-approve Bot
45s main
main
45s
check-rust: linear SSA for let mut reassignment (#1465) Deploy Docs #81: Commit 33c3904 pushed by assura-auto-approve Bot
47s main
main
47s
check-rust epic: demos, agent loop, interop, launch align (#1464) Deploy Docs #80: Commit 5d84eeb pushed by assura-auto-approve Bot
51s main
main
51s
docs: check-rust supported surface page (#1463) Deploy Docs #79: Commit c11a617 pushed by assura-auto-approve Bot
45s main
main
45s
docs: clarify check-rust vs Verus on COMPARE page (#1455) Deploy Docs #78: Commit 1c0c3b5 pushed by assura-auto-approve Bot
1m 6s main
main
1m 6s
test: strengthen is_some+unwrap assertions (MPI cycle 2) (#1452) Deploy Docs #77: Commit ff5ea9e pushed by assura-auto-approve Bot
43s main
main
43s
deps: upgrade rowan 0.16 → 0.17 (#1451) Deploy Docs #76: Commit 1c235f1 pushed by SebTardif
51s main
main
51s
fix: check --json missing-file envelope and MPI hygiene (#1449) Deploy Docs #75: Commit 290eb14 pushed by SebTardif
42s main
main
42s
docs+test: error URL, error-codes nav, tighter CLI asserts (#1437) Deploy Docs #74: Commit db54c49 pushed by SebTardif
45s main
main
45s