Skip to content
Test compilation

try update CI actions #46

Sign in to view logs

try update CI actions

try update CI actions #46

Triggered via push September 4, 2025 13:50
@kyoDralliamkyoDralliam
pushed 8c808b8
rocq-9.0
Status Failure
Total duration 4m 14s
Artifacts –

build.yml

on: push
build
4m 10s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 50.