.github/workflows/main.yml

update wrt master version of hol-light #752

Sign in to view logs

Triggered via pull request April 15, 2024 14:46

fblanqui

opened #128

fblanqui:hol-light

Status Success

Total duration 8m 48s

Artifacts –

main.yml

on: pull_request

Matrix: hol-light-to-dedukti