Skip to content
Back to pull request #386

Coq proof lib #2952

Sign in to view logs

Coq proof lib

Coq proof lib #2952

Triggered via pull request October 9, 2024 17:13
@cmester0cmester0
synchronize #386
coq_lib
Status Success
Total duration 5m 23s
Artifacts –

test.yml

on: pull_request
no-std-lib
31s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in