Skip to content
.github/workflows/main.yml

update wrt master version of hol-light #754

Sign in to view logs

update wrt master version of hol-light

update wrt master version of hol-light #754

Triggered via pull request April 15, 2024 15:41
@fblanquifblanqui
synchronize #128
fblanqui:hol-light
Status Cancelled
Total duration 3m 31s
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.