.github/workflows/main.yml

update wrt master version of hol-light #755

Sign in to view logs

Triggered via pull request April 15, 2024 15:44

fblanqui

synchronize #128

fblanqui:hol-light

Status Success

Total duration 8m 43s

Artifacts –

main.yml

on: pull_request

Matrix: hol-light-to-dedukti