Skip to content
.github/workflows/main.yml

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hol-light-to-dedukti (ea45176, 4.14.2, 8.02.01, 2.7, master, 3.16.1)
7m 18s
7m 18s