Skip to content

Update license

Update license #3242

matching: [Oscar@paemurru#ep/update_license] - ubuntu-latest, julia ~1.10.0-0

succeeded Oct 30, 2024 in 2h 49m 12s
Set up job
1s
Run actions/checkout@v4
0s
Set up Julia
6s
re-using OscarDevTools checkout
0s
fetch OscarDevTools
26s
Set up Oscar-dev configuration
1m 31s
Run tests
2h 23m 13s
Run doctests
23m 51s
Post Run actions/checkout@v4
0s
Complete job
0s