holscript-ts: wrapped conjunct aligns with same-op chain's first oper… #1794
mn200docker-ci.yml
on: push
build-stdknl
2h 6m
build-expk
2h 21m
build-mosml
49m 15s
build-otknl
2h 27m
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
HOL-Theorem-Prover~HOL~HCY9RV.dockerbuild
|
126 KB |
sha256:0bbdfc140451bdd5182920e3811331b8f6168b97e25d44fc41f2d1f04156d040
|
|