Skip to content
ci

Bump mathlib #33

Sign in to view logs

Bump mathlib

Bump mathlib #33

Triggered via push October 4, 2023 22:54
@PatrickMassotPatrickMassot
pushed 44f556f
algebra
Status Failure
Total duration 3m 14s
Artifacts –

build.yml

on: push
Build
3m 4s
Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 1.