.github/workflows/main.yaml

update to Isabelle 2022 #229

Sign in to view logs

Triggered via pull request November 11, 2023 05:59

fblanqui

synchronize #16

fblanqui:isa22

Status Failure

Total duration 13m 39s

Artifacts –

main.yaml

on: pull_request

Matrix: isabelle_dedukti

Annotations

1 error

isabelle_dedukti (4.14.1, 2.7, 2.3.1, 2022)

Process completed with exit code 1.