Skip to content
.github/workflows/main.yaml

for Isabelle 2023 #240

Sign in to view logs

for Isabelle 2023

for Isabelle 2023 #240

Triggered via pull request November 13, 2023 12:45
@fblanquifblanqui
synchronize #30
AkihisaYamada:2023
Status Failure
Total duration 1m 26s
Artifacts –

main.yaml

on: pull_request
Matrix: isabelle_dedukti
Fit to window
Zoom out
Zoom in

Annotations

1 error
isabelle_dedukti (4.14.1, 2.7, 2.3.1, 2022)
Process completed with exit code 2.