Skip to content
AzurePipelines

Fix plugin arguments to Dafny server (#450) #637

Sign in to view logs

Fix plugin arguments to Dafny server (#450)

Fix plugin arguments to Dafny server (#450) #637

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
22s
22s