Skip to content
Main workflow

port to Rocq 9.0 #161

Sign in to view logs

port to Rocq 9.0

port to Rocq 9.0 #161

Triggered via push October 1, 2025 14:27
@yforsteryforster
pushed 47abf88
main
Status Success
Total duration 10m 39s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in