.github/workflows/main.yaml

clean, comment, improve exporter + add translation from dk to coq #326

Sign in to view logs

Triggered via pull request July 28, 2024 09:19

fblanqui

synchronize #27

fblanqui:to_coq

Status Failure

Total duration 4m 59s

Artifacts –

main.yaml

on: pull_request

Matrix: isabelle_dedukti

Annotations

1 error

isabelle_dedukti (4.14.1, 2.7, 2.3.1, 2023)

Process completed with exit code 127.