Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
atlas 2644c0d5f9 CI and devshell comments say what the config does: jobTimeout bounds jobs, coverage runs nightly, dead timeout keys removed ... Job-level timeout-minutes is parsed but not enforced by this runner; only the runner's jobTimeout bounds a job. Also fixes the devshell coverage comment, the shellcheck job comment, an option description citing a script that is not in the repo, and comment file pointers that resolve to nothing.		2026-10-15 08:27:32 +02:00
..
ci.yml	CI and devshell comments say what the config does: jobTimeout bounds jobs, coverage runs nightly, dead timeout keys removed	2026-10-15 08:27:32 +02:00
coverage.yml	CI and devshell comments say what the config does: jobTimeout bounds jobs, coverage runs nightly, dead timeout keys removed	2026-10-15 08:27:32 +02:00
flake-update.yml	CI and devshell comments say what the config does: jobTimeout bounds jobs, coverage runs nightly, dead timeout keys removed	2026-10-15 08:27:32 +02:00
public-cache.yml	ci: run nothing but a main-only bin-cache push on the public forge	2026-09-28 17:24:06 +02:00