.github/workflows/main.yml

add renamings for coq output #719

Sign in to view logs

Triggered via pull request April 11, 2024 12:52

fblanqui

opened #124

fblanqui:renaming

Status Success

Total duration 10m 8s

Artifacts –

main.yml

on: pull_request

Matrix: hol-light-to-dedukti