Skip to content
.github/workflows/main.yml

update doc #760

Sign in to view logs

update doc

update doc #760

Triggered via pull request April 16, 2024 10:56
@fblanquifblanqui
edited #129
fblanqui:dump-use
Status Cancelled
Total duration 8m 0s
Artifacts –

main.yml

on: pull_request
Matrix: hol-light-to-dedukti
Fit to window
Zoom out
Zoom in

Annotations

2 errors
hol-light-to-dedukti (4.14.1, 8.02.01, 2.7, master, 3.14.2)
The run was canceled by @fblanqui.
hol-light-to-dedukti (4.14.1, 8.02.01, 2.7, master, 3.14.2)
The operation was canceled.