Make Thm.SPEC use lazy_beta_conv instead of beta_conv #371
Triggered via pull request
September 13, 2024 01:47
someplaceguy
Status
Success
Total duration
1h 59m 45s
Artifacts
–
docker-ci-for-pr.yml
on: pull_request
build-stdknl
1h 11m
build-expk
1h 13m
build-mosml
39m 42s
build-otknl
1h 59m