Skip to content
docker-ci

{Co,}Inductive rule labels now replace conj'ns entirely #245

Sign in to view logs

{Co,}Inductive rule labels now replace conj'ns entirely

{Co,}Inductive rule labels now replace conj'ns entirely #245

Triggered via push November 1, 2023 05:23
@mn200mn200
pushed 91e2a37
develop
Status Success
Total duration 1h 23m 38s
Artifacts –

docker-ci.yml

on: push
build-stdknl
1h 22m
build-stdknl
build-expk
1h 23m
build-expk
Fit to window
Zoom out
Zoom in