Update badges with results from latest autograding
ci.jenkins.io / Jenkins
succeeded
Jun 7, 2024 in 5m 27s
Success
Details
- linux-17 (1 ms)
- Checkout (linux-17) (9.5 sec)
- Build (linux-17) (3 min 59 sec)
- Archive (linux-17) (9.7 sec)
- windows-17 (4 min 15 sec)
- Checkout (windows-17) (15 sec)
- Build (windows-17) (2 min 22 sec)
- Archive (windows-17) (0.65 sec)
- Deploy (5.6 sec)
Loading