Skip to content
LogRel CI

LogRel CI #530

Sign in to view logs

LogRel CI

LogRel CI #530

Manually triggered October 18, 2024 15:12
@kyoDralliamkyoDralliam
⁠ 958b711
coq-8.20
Status Failure
Total duration 2m 16s
Artifacts –

build.yml

on: workflow_dispatch
build
2m 6s
build
Fit to window
Zoom out
Zoom in