Skip to content
.github/workflows/main.yml

export ALPHA as REFL #162

Sign in to view logs

export ALPHA as REFL

export ALPHA as REFL #162

Triggered via pull request August 29, 2023 06:48
@fblanquifblanqui
synchronize #40
fblanqui:alpha
Status Success
Total duration 12m 21s
Artifacts –

main.yml

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