Skip to content
Windows CI

Change version of menhir to $(date) #82

Sign in to view logs

Change version of menhir to $(date)

Change version of menhir to $(date) #82

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Windows (64)
56m 23s
56m 23s