GitLab service scheduled maintenance on Monday, August 18th 2025 as of 07h00 Geneva time for a period of 3 hours. Further information under OTG0157026.

This is an archived project. Repository and other project resources are read-only.

Update syntax highlighting and add links

Passed

Riccardo Maria Bianchi created pipeline for commit 00ec8128

5 years ago, finished 5 years ago

For master

10 minutes 59 seconds, queued for 1 seconds

Admin message

Update syntax highlighting and add links