Skip to content

Actions: nasa-jpl/L4YAML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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: enforce [209] directive strictness — remove directiveDrop from S… Build Documentation and Test Coverage #101: Commit 9195f76 pushed by NicolasRouquette
1d 0h 0m 1s main
main
1d 0h 0m 1s
fix: tighten nb-char [27] — block scalars strict, comments named-loose Build Documentation and Test Coverage #100: Commit 8808b07 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
docs: consolidate the root corpus into DOCS.md (topics + The Plan) Build Documentation and Test Coverage #99: Commit 8278c92 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
chore: migrate to Lean 4.32.0, bump version to 0.6.0 Build Documentation and Test Coverage #98: Commit 8d869c3 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
feat(scripts): add sync-pages.sh to mirror gh-pages across remotes Build Documentation and Test Coverage #97: Commit 978de46 pushed by NicolasRouquette
1d 0h 0m 1s main
main
1d 0h 0m 1s
pages build and deployment pages-build-deployment #84: by NicolasRouquette
36s gh-pages
gh-pages
36s
fix(ci): keep the colon-named matrix pages out of the docs artifact Build Documentation and Test Coverage #96: Commit c558fda pushed by NicolasRouquette
1d 0h 0m 2s v0.5.2
v0.5.2
1d 0h 0m 2s
fix(ci): keep the colon-named matrix pages out of the docs artifact Build Documentation and Test Coverage #95: Commit c558fda pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
chore: bump version to 0.5.2 Build Documentation and Test Coverage #94: Commit 2508433 pushed by NicolasRouquette
1d 0h 0m 1s v0.5.2
v0.5.2
1d 0h 0m 1s
chore: bump version to 0.5.2 Build Documentation and Test Coverage #93: Commit 2508433 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
chore: bump version to 0.5.1 Build Documentation and Test Coverage #92: Commit bc5eac9 pushed by NicolasRouquette
1d 0h 0m 2s v0.5.1
v0.5.1
1d 0h 0m 2s
chore: bump version to 0.5.1 Build Documentation and Test Coverage #91: Commit bc5eac9 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
feat(ci): self-host the YAML Test Matrix and publish it on version tags Build Documentation and Test Coverage #90: Commit e3c4cbd pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
feat(leancopilot): gate the require behind L4YAML_LEANCOPILOT env var… Build Documentation and Test Coverage #89: Commit 2823bba pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
fixed warnings Build Documentation and Test Coverage #88: Commit d2c9c80 pushed by NicolasRouquette
1d 0h 0m 1s main
main
1d 0h 0m 1s
docs+refactor: event-axis verification roadmap in README; de-privatiz… Build Documentation and Test Coverage #87: Commit d86647f pushed by NicolasRouquette
1d 0h 0m 1s main
main
1d 0h 0m 1s
build: lakefile.lean conversion + LeanCopilot via project-local pixi … Build Documentation and Test Coverage #86: Commit bcedb97 pushed by NicolasRouquette
1d 0h 0m 1s main
main
1d 0h 0m 1s
proof(roundtrip): close Track A — deep-family navigator proves FlowSu… Build Documentation and Test Coverage #85: Commit 0b52837 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
docs(matrix): pin processor versions, reconcile with stale matrix.yam… Build Documentation and Test Coverage #84: Commit ecfc197 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
yaml matrix comparison Build Documentation and Test Coverage #83: Commit e9af92d pushed by NicolasRouquette
1d 0h 0m 1s main
main
1d 0h 0m 1s
pages build and deployment pages-build-deployment #83: by NicolasRouquette
34s gh-pages
gh-pages
34s
fix(dump,rust): type-faithful preserve edge cases + rust rpath, from … Build Documentation and Test Coverage #82: Commit fe9b8b5 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
pages build and deployment pages-build-deployment #82: by NicolasRouquette
42s main
main
42s
ci: harden test/doc pipeline after gh-pages migration; embed stats as… Build Documentation and Test Coverage #81: Commit 57e5681 pushed by NicolasRouquette
1d 0h 0m 2s main
main
1d 0h 0m 2s
pages build and deployment pages-build-deployment #81: by NicolasRouquette
27s main
main
27s