Skip to content
docker-ci

[examples/lambda] Establish new type of λ-terms, with constants #285

Sign in to view logs

[examples/lambda] Establish new type of λ-terms, with constants

[examples/lambda] Establish new type of λ-terms, with constants #285

Triggered via push December 11, 2023 03:09
@mn200mn200
pushed 4954936
master
Status Success
Total duration 55m 57s
Artifacts –

docker-ci.yml

on: push
build-stdknl
53m 36s
build-stdknl
build-expk
55m 48s
build-expk
Fit to window
Zoom out
Zoom in