.github/workflows/main.yml

add-links/Makefile: add ROOT_PATH and ERASING arguments/variables #841

Sign in to view logs

Triggered via pull request November 25, 2024 21:02

fblanqui

synchronize #141

fblanqui:root

Status Success

Total duration 8m 22s

Artifacts –

main.yml

on: pull_request

Matrix: hol-light-to-dedukti