.github/workflows/main.yml

add renamings for coq output (#124) #729

Sign in to view logs

Triggered via push April 12, 2024 12:02

fblanqui

main

Status Success

Total duration 9m 43s

Artifacts –

main.yml

on: push

Matrix: hol-light-to-dedukti