Skip to content

Merge branch 'develop' of github.com:HOL-Theorem-Prover/HOL into develop #206

Merge branch 'develop' of github.com:HOL-Theorem-Prover/HOL into develop

Merge branch 'develop' of github.com:HOL-Theorem-Prover/HOL into develop #206

Triggered via push September 27, 2023 06:00
Status Success
Total duration 1h 22m 28s
Artifacts

docker-ci.yml

on: push