Skip to content

Actions: sini/gen-program

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 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
synchronize: gen-harness pin to db36994, the settled harness rev CI #5: Commit 41fadfc pushed by sini
6m 15s main
main
6m 15s
docs(AGENTS.md): publish a drift check that runs and reproduces CI #4: Commit a88b35d pushed by sini
6m 21s main
main
6m 21s
test(purity): a red CI names a file the reader can open CI #3: Commit ae7eedf pushed by sini
2m 21s main
main
2m 21s
AGENTS.md: move the citation region to 'What this library does NOT do' CI #2: Commit 24a6a65 pushed by sini
2m 23s main
main
2m 23s
ci: run the error plane — nix flake check covers flake.tests only CI #1: Commit 30ac9be pushed by sini
5m 14s main
main
5m 14s