Skip to content
docker-ci-for-pr

Extirpate THENL from the HOL tutorial #307

Sign in to view logs

Extirpate THENL from the HOL tutorial

Extirpate THENL from the HOL tutorial #307

Triggered via pull request June 28, 2024 23:26
@IlmariReissumiesIlmariReissumies
opened #1265
thenlocide
Status Success
Total duration 1h 55m 2s
Artifacts –

docker-ci-for-pr.yml

on: pull_request
build-stdknl
1h 28m
build-stdknl
build-expk
1h 29m
build-expk
build-mosml
35m 10s
build-mosml
build-otknl
1h 54m
build-otknl
Fit to window
Zoom out
Zoom in