Skip to content
.github/workflows/main.yaml

for Isabelle 2023 #244

Sign in to view logs

for Isabelle 2023

for Isabelle 2023 #244

Triggered via pull request November 13, 2023 15:08
@AkihisaYamadaAkihisaYamada
synchronize #30
AkihisaYamada:2023
Status Failure
Total duration 1m 9s
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, 2023)
Process completed with exit code 1.