Skip to content
Windows CI

CI: adjust Windows CI to changes in Coq Platform (folder name) #3

Sign in to view logs

CI: adjust Windows CI to changes in Coq Platform (folder name)

CI: adjust Windows CI to changes in Coq Platform (folder name) #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Windows (64)
1h 5m 2s
1h 5m 2s