.github/workflows/main.yml

update doc, and rename dump-use into dump-before-hol (#129) #764

Sign in to view logs

Triggered via push April 16, 2024 13:13

fblanqui

main

Status Success

Total duration 10m 7s

Artifacts –

main.yml

on: push

Matrix: hol-light-to-dedukti