Skip to content
Test compilation

try update CI actions #49

Sign in to view logs

try update CI actions

try update CI actions #49

Triggered via push September 4, 2025 14:29
@kyoDralliamkyoDralliam
pushed 794baf8
rocq-9.0
Status Success
Total duration 8m 26s
Artifacts –

build.yml

on: push
build
8m 21s
build
Fit to window
Zoom out
Zoom in