Skip to content

[CI] [alpine-edge] coq => rocq (#2066) #662

[CI] [alpine-edge] coq => rocq (#2066)

[CI] [alpine-edge] coq => rocq (#2066) #662

Annotations

2 warnings

publish-standalone-dry-run

succeeded Mar 14, 2025 in 17s
Set up job
1s
Run actions/checkout@v4
11s
Download standalone archlinux
1s
List files
0s
Rename files
0s
Post Run actions/checkout@v4
1s
Complete job
0s