Skip to content
docker-ci-for-pr

EXTENSIONAL and RESTRICTION ported from HOL-Light #224

Sign in to view logs

EXTENSIONAL and RESTRICTION ported from HOL-Light

EXTENSIONAL and RESTRICTION ported from HOL-Light #224

Triggered via pull request March 22, 2024 04:34
@binghebinghe
opened #1216
binghe:RESTRICTION
Status Success
Total duration 59m 3s
Artifacts –

docker-ci-for-pr.yml

on: pull_request
build-stdknl
57m 49s
build-stdknl
build-expk
58m 53s
build-expk
Fit to window
Zoom out
Zoom in