.github/workflows/main.yml

reorganize xlib.ml (#125) #725

Sign in to view logs

Triggered via push April 11, 2024 14:26

fblanqui

main

Status Success

Total duration 9m 32s

Artifacts –

main.yml

on: push

Matrix: hol-light-to-dedukti