Skip to content

Protect against $NNN identifiers #84

Protect against $NNN identifiers

Protect against $NNN identifiers #84

linux (x86_32)

succeeded Dec 2, 2024 in 6m 11s
Set up job
0s
Initialize containers
1m 10s
Checkout
2s
OS dependencies
4s
OPAM dependencies
32s
Configure
0s
Build
2m 47s
Hygiene
0s
Test default configuration
46s
Test alternate configuration
45s
Test alternate configuration 2
0s
Post Checkout
0s
Stop containers
0s
Complete job
0s