Skip to content
.github/workflows/main.yml

export ALPHA as REFL #153

Sign in to view logs

export ALPHA as REFL

export ALPHA as REFL #153

Triggered via pull request July 21, 2023 16:42
@fblanquifblanqui
opened #40
fblanqui:alpha
Status Failure
Total duration 7m 32s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

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

Annotations

1 error
hol-light-to-dedukti (4.14.1, 8.00.05, 2.7, master, 3.7.0)
Process completed with exit code 2.