build: warn when bin/hol or bin/unquote is older than its sources #1723
Triggered via pull request
August 14, 2026 15:06
lukaszcz
Status
Success
Total duration
2h 20m 13s
Artifacts
4
docker-ci-for-pr.yml
on: pull_request
build-stdknl
1h 54m
build-expk
2h 19m
build-mosml
45m 51s
build-otknl
2h 20m
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
HOL-Theorem-Prover~HOL~1M1TWI.dockerbuild
|
324 KB |
sha256:762fd7656f67d019ea3aefa0fe085045456a17c0accb7b7852e628ec3f16e7a5
|
|
|
HOL-Theorem-Prover~HOL~33GZI4.dockerbuild
|
152 KB |
sha256:c6b8ac9eff211965b4d5550b0eb11b0e76963ce49e04d5b204287eb40504d08d
|
|
|
HOL-Theorem-Prover~HOL~KTWB8O.dockerbuild
|
151 KB |
sha256:c2daa04c70f4b7bdfa3e2beb0a6a75304a6ca38e3af6fd95c303be609a3b18ce
|
|
|
HOL-Theorem-Prover~HOL~MXAXEH.dockerbuild
|
101 KB |
sha256:363aa0b9279ecb69ecc4fdc41ad0265eafb84b0f849dbb52a80a3182ef52a998
|
|