Skip to content
Lean 4 CI

Add index for DuperXp #230

Sign in to view logs

Add index for DuperXp

Add index for DuperXp #230

Triggered via push October 23, 2024 05:10
@utensilutensil
pushed 55daa9e
main
Status Cancelled
Total duration 54s
Artifacts –

lean4.yml

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

Annotations

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