Skip to content
docker-ci

Generalise Thm attributes to allow key=val1 val2 .. valn syntax #674

Sign in to view logs

Generalise Thm attributes to allow key=val1 val2 .. valn syntax

Generalise Thm attributes to allow key=val1 val2 .. valn syntax #674

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-expk
56m 26s
build-otknl
2h 0m 43s
build-stdknl
54m 40s
build-mosml
4m 13s
3h 56m 2s