Skip to content
Lean 4 CI

Try add Verso doc to pages; add mechanism to trigger all CI [annotate] #245

Sign in to view logs

Try add Verso doc to pages; add mechanism to trigger all CI [annotate]

Try add Verso doc to pages; add mechanism to trigger all CI [annotate] #245

Triggered via push October 28, 2024 12:51
@utensilutensil
pushed 302149c
main
Status Cancelled
Total duration 9m 14s
Artifacts –

lean4.yml

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

Annotations

3 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 (macos-latest)
The run was canceled by @utensil.