Skip to content

Sail configuration system #1837

Sail configuration system

Sail configuration system #1837

Annotations

1 warning

build (5.0.0, ubuntu-latest, 0.26.0)

succeeded Jan 22, 2025 in 39s
Set up job
1s
Run actions/checkout@v3
2s
System dependencies
23s
Restore cached opam
8s
Setup opam
0s
Save cached opam
0s
Format Sail
3s
Post Run actions/checkout@v3
0s
Complete job
0s