Skip to content

OscarCI

OscarCI #88

[Oscar]#master - ubuntu-latest, julia ~1.6.0-0

succeeded Oct 15, 2024 in 2h 30m 0s
Set up job
1s
Run actions/checkout@v4
1s
Set up Julia
4s
re-using OscarDevTools checkout
0s
fetch OscarDevTools
23s
Set up Oscar-dev configuration
3m 43s
Run tests
2h 25m 2s
Run doctests
44s
Post Run actions/checkout@v4
0s
Complete job
1s