docker-ci

Stage work on λ-calculus (Böhm transform and head original terms) (#1… #282

Sign in to view logs

Triggered via push December 8, 2023 05:06

mn200

master

Status Success

Total duration 56m 27s

Artifacts –

docker-ci.yml

on: push