Skip to content
docker-ci

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-stdknl
53m 38s
build-expk
55m 13s
1h 48m 51s