.github/workflows/main.yml

update wrt master version of hol-light (#128) #756

Sign in to view logs

Triggered via push April 15, 2024 15:56

fblanqui

main

Status Success

Total duration 9m 0s

Artifacts –

main.yml

on: push

Matrix: hol-light-to-dedukti