.github/workflows/main.yml

add-links/Makefile: add ROOT_PATH and ERASING arguments/variables (#141) #843

Sign in to view logs

Triggered via push November 25, 2024 21:19

fblanqui

main

Status Success

Total duration 7m 28s

Artifacts –

main.yml

on: push

Matrix: hol-light-to-dedukti