Skip to content
Build DafnyRef.pdf

Pin used version of the .NET CLI to .NET 8.x.x #18836

Sign in to view logs

Pin used version of the .NET CLI to .NET 8.x.x

Pin used version of the .NET CLI to .NET 8.x.x #18836

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
7s
build-refman (ubuntu-22.04)
59s
1m 6s