.github/workflows/main.yml

erasing.lp: HOLLight.ind -> ind #836

Sign in to view logs

Triggered via push November 23, 2024 19:15

fblanqui

main

Status Success

Total duration 8m 6s

Artifacts –

main.yml

on: push

Matrix: hol-light-to-dedukti