don't gitignore Theory.sml #475
Triggered via pull request
November 16, 2024 17:52
digama0
Status
Success
Total duration
1h 54m 36s
Artifacts
–
docker-ci-for-pr.yml
on: pull_request
build-stdknl
54m 16s
build-expk
57m 56s
build-mosml
40m 42s
build-otknl
1h 54m