Skip to content

Actions: leynos/netsuke

Actions

Coverage (main)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage-main.yml
250 workflow runs
250 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
Repin setup-rust to 6cec89ba (#850) Coverage (main) #250: Commit 11ded30 pushed by leynos
6m 26s main
main
6m 26s
Correct the false double-fork escape claim in the Kani wrapper guidan… Coverage (main) #249: Commit 66f244d pushed by leynos
6m 30s main
main
6m 30s
Keep release expressions out of shell scripts (#794) (#824) Coverage (main) #248: Commit b6e7cf5 pushed by leynos
6m 31s main
main
6m 31s
Group prefix-named modules under directory modules (#811) (#813) Coverage (main) #247: Commit fce1a74 pushed by leynos
6m 2s main
main
6m 2s
Populate Linux package metadata from Cargo.toml (#796) (#826) Coverage (main) #246: Commit 6b01bb6 pushed by leynos
6m 4s main
main
6m 4s
Fix ignored WiX extension input in release workflow (#795) (#823) Coverage (main) #245: Commit 48d4a59 pushed by leynos
6m 11s main
main
6m 11s
Run the Kani proofs on a pull request only when inputs change (#774) Coverage (main) #244: Commit 84447f0 pushed by leynos
7m 10s main
main
7m 10s
Adopt the typos-config-builder v0.1.3 gate and AGENTS.md block (#843) Coverage (main) #243: Commit 995f753 pushed by leynos
7m 38s main
main
7m 38s
Establish RFC 0006 child-RFC coverage (#697) Coverage (main) #242: Commit 6be4a65 pushed by leynos
7m 22s main
main
7m 22s
Make Jinja command helpers match the documented ergonomics (3.14.8) (… Coverage (main) #241: Commit 563261b pushed by leynos
6m 57s main
main
6m 57s
Select Ruff rules by name for ruff 0.16.8 (#848) Coverage (main) #240: Commit d91ebb4 pushed by leynos
6m 22s main
main
6m 22s
Provision Whitaker through install-whitaker (#842) Coverage (main) #239: Commit bdc2f25 pushed by leynos
6m 16s main
main
6m 16s
Stop the release dry run inheriting every secret (#833) Coverage (main) #238: Commit 6357fda pushed by leynos
6m 43s main
main
6m 43s
Make release-admission tests pass on newline SHA (#760) (#770) Coverage (main) #237: Commit bfc4073 pushed by leynos
9m 4s main
main
9m 4s
Hand the Linux compiler cache to setup-rust's runner-aware backend (#… Coverage (main) #236: Commit 703cc86 pushed by leynos
12m 47s main
main
12m 47s
Cancel superseded pull-request runs (#777) Coverage (main) #235: Commit 0a5d53e pushed by leynos
7m 36s main
main
7m 36s
Run plain Pylint on the Python baseline (#814) Coverage (main) #234: Commit 7677c38 pushed by leynos
7m 9s main
main
7m 9s
Gate Kani mutation patches on compiling under -D warnings (#756) (#766) Coverage (main) #233: Commit aa76481 pushed by leynos
6m 38s main
main
6m 38s
Add bounded CwdMode observability to WhichResolver, and repair the Co… Coverage (main) #232: Commit 3b6cde6 pushed by leynos
12m 23s main
main
12m 23s
Enforce the Kani runtime cap on the scope, not a timeout prefix (#765… Coverage (main) #231: Commit c298a64 pushed by leynos
6m 11s main
main
6m 11s
Add the Netsuke terms of reference (#786) Coverage (main) #230: Commit 96b89ca pushed by leynos
6m 59s main
main
6m 59s
Set v0.1.0-beta4 release version and status (#804) Coverage (main) #229: Commit b0e8547 pushed by leynos
12m 6s main
main
12m 6s
Let a fork's pull request reach a runner it can have (#728) Coverage (main) #228: Commit 7305514 pushed by leynos
5m 44s main
main
5m 44s
RFC 0029: first-class host facts with explicit collection (#802) Coverage (main) #227: Commit ebcedae pushed by leynos
5m 47s main
main
5m 47s
Propose hexagonal hardening, architecture checks, and a gated Paraleg… Coverage (main) #226: Commit 293021a pushed by leynos
9m 30s main
main
9m 30s