Skip to content
.github/workflows/main.yml

nbp command: give number of useful steps (#155) #926

Sign in to view logs

nbp command: give number of useful steps (#155)

nbp command: give number of useful steps (#155) #926

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 53s
7m 53s