Skip to content
make

move classification, amend here from reqt and metanorma: https://git… #69

Sign in to view logs

move classification, amend here from reqt and metanorma: https://git…

move classification, amend here from reqt and metanorma: https://git… #69

Run time

Learn about OS pricing on GitHub Actions
Job Run time
make / prepare / prepare
5s
make / Test on LutaML ubuntu-latest
40s
make / Test on LutaML macos-latest
1m 30s
make / Test on LutaML windows-latest
3m 26s
5m 41s