Skip to content
.github/workflows/main.yml

Rename link into config + change its interface #973

Sign in to view logs

Rename link into config + change its interface

Rename link into config + change its interface #973

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hol-light-to-dedukti (5.2.1, 3.17.0, 8.03.01, 3.0.0, master, master, 2.7)
1m 29s
1m 29s