Skip to content
AzurePipelines

Let the extension use the Dafny server to track changes in the project file #615

Sign in to view logs

Let the extension use the Dafny server to track changes in the project file

Let the extension use the Dafny server to track changes in the project file #615

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 29s
1m 29s