Skip to content

CI: Switch HOL-Light proofs to free Github runners#1134

Merged
mkannwischer merged 1 commit into
mainfrom
hol-light-ci
May 29, 2026
Merged

CI: Switch HOL-Light proofs to free Github runners#1134
mkannwischer merged 1 commit into
mainfrom
hol-light-ci

Commits

Commits on May 29, 2026