Skip to content
Lean 4 CI

Tweaks around SciXp #234

Sign in to view logs

Tweaks around SciXp

Tweaks around SciXp #234

Triggered via push October 23, 2024 13:48
@utensilutensil
pushed c78847e
main
Status Cancelled
Total duration 2m 0s
Artifacts –

lean4.yml

on: push
Matrix: Lean 4 Projects
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Lean 4 Projects (windows-latest)
The run was canceled by @utensil.
Lean 4 Projects (ubuntu-latest)
The run was canceled by @utensil.
Lean 4 Projects (ubuntu-latest)
The operation was canceled.
Lean 4 Projects (macos-latest)
The run was canceled by @utensil.