.github/workflows/main.yml

fix Makefile and add-links #401

Sign in to view logs

Triggered via pull request January 16, 2024 10:11

fblanqui

synchronize #82

fblanqui:details

Status Failure

Total duration 2m 39s

Artifacts –

main.yml

on: pull_request

Matrix: hol-light-to-dedukti

Annotations

1 error

hol-light-to-dedukti (4.14.1, 8.00.05, 2.7, master, 3.7.0)

Process completed with exit code 1.