Skip to content
docker-ci-for-pr

EXTENSIONAL and RESTRICTION ported from HOL-Light #229

Sign in to view logs

EXTENSIONAL and RESTRICTION ported from HOL-Light

EXTENSIONAL and RESTRICTION ported from HOL-Light #229

Triggered via pull request March 27, 2024 03:28
@binghebinghe
synchronize #1216
binghe:RESTRICTION
Status Success
Total duration 59m 1s
Artifacts –

docker-ci-for-pr.yml

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