Skip to content
Docker CI

Added the link to CEP to the extended abstract for CoqWorkshopITP24 #56

Sign in to view logs

Added the link to CEP to the extended abstract for CoqWorkshopITP24

Added the link to CEP to the extended abstract for CoqWorkshopITP24 #56

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 36s
deploy
21s
2m 57s