Skip to content

Actions: dafny-lang/ide-vscode

Actions

AzurePipelines

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
azure-pipelines.yml
132 workflow runs
132 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Bump word-wrap from 1.2.3 to 1.2.4 AzurePipelines #572: Commit b7f30bf pushed by dependabot bot
July 19, 2023 04:16 1m 37s dependabot/npm_and_yarn/word-wrap-1.2.4
dependabot/npm_and_yarn/word-wrap-1.2.4
July 19, 2023 04:16 1m 37s
Bump semver from 7.3.7 to 7.5.4 AzurePipelines #571: Pull request #411 opened by dependabot bot
July 13, 2023 14:29 1m 14s dependabot/npm_and_yarn/semver-7.5.4
dependabot/npm_and_yarn/semver-7.5.4
July 13, 2023 14:29 1m 14s
Bump semver from 7.3.7 to 7.5.4 AzurePipelines #570: Commit 6356230 pushed by dependabot bot
July 13, 2023 14:29 1m 34s dependabot/npm_and_yarn/semver-7.5.4
dependabot/npm_and_yarn/semver-7.5.4
July 13, 2023 14:29 1m 34s
Enable custom server arguments to contain spaces AzurePipelines #569: Pull request #410 opened by keyboardDrummer
July 13, 2023 12:51 1m 21s keyboardDrummer:serverArgumentsWithSpaces
keyboardDrummer:serverArgumentsWithSpaces
July 13, 2023 12:51 1m 21s
Update README.md (#407) AzurePipelines #568: Commit 852cd61 pushed by keyboardDrummer
July 10, 2023 17:26 1m 11s master
master
July 10, 2023 17:26 1m 11s
Update README.md AzurePipelines #567: Pull request #407 opened by keyboardDrummer
July 10, 2023 14:37 2m 51s keyboardDrummer-patch-1
keyboardDrummer-patch-1
July 10, 2023 14:37 2m 51s
Update README.md AzurePipelines #566: Commit 641e6f9 pushed by keyboardDrummer
July 10, 2023 14:36 1m 17s keyboardDrummer-patch-1
keyboardDrummer-patch-1
July 10, 2023 14:36 1m 17s
Bump semver from 7.3.7 to 7.5.3 AzurePipelines #565: Pull request #401 opened by dependabot bot
June 30, 2023 07:49 5m 57s dependabot/npm_and_yarn/semver-7.5.3
dependabot/npm_and_yarn/semver-7.5.3
June 30, 2023 07:49 5m 57s
Bump semver from 7.3.7 to 7.5.3 AzurePipelines #564: Commit c7f2000 pushed by dependabot bot
June 30, 2023 07:49 4m 40s dependabot/npm_and_yarn/semver-7.5.3
dependabot/npm_and_yarn/semver-7.5.3
June 30, 2023 07:49 4m 40s
Fix: Empty ghost diagnostics no longer ignored (#399) AzurePipelines #563: Commit 8cb7d94 pushed by keyboardDrummer
June 14, 2023 16:23 1m 21s master
master
June 14, 2023 16:23 1m 21s
Fix: Empty ghost diagnostics no longer ignored AzurePipelines #562: Pull request #399 opened by MikaelMayer
June 14, 2023 14:43 4m 56s fix-372-wrong-ghost-highlight
fix-372-wrong-ghost-highlight
June 14, 2023 14:43 4m 56s
Fix: Empty ghost diagnostics no longer ignored AzurePipelines #561: Commit 8c8a292 pushed by MikaelMayer
June 14, 2023 14:43 4m 42s fix-372-wrong-ghost-highlight
fix-372-wrong-ghost-highlight
June 14, 2023 14:43 4m 42s
Chore: Support labels with primes and question marks (#398) AzurePipelines #560: Commit 52f8dbd pushed by keyboardDrummer
June 13, 2023 09:07 7m 24s master
master
June 13, 2023 09:07 7m 24s
Chore: Better description of automatic verification (#397) AzurePipelines #559: Commit 882d4c7 pushed by keyboardDrummer
June 13, 2023 09:06 8m 3s master
master
June 13, 2023 09:06 8m 3s
Fixes "this" highlight (#396) AzurePipelines #558: Commit d043f68 pushed by keyboardDrummer
June 13, 2023 08:56 1m 11s master
master
June 13, 2023 08:56 1m 11s
Chore: Support labels with primes and question marks AzurePipelines #557: Pull request #398 opened by MikaelMayer
June 12, 2023 21:51 1m 26s chore-support-labels-prime-question-marks
chore-support-labels-prime-question-marks
June 12, 2023 21:51 1m 26s
Chore: Support labels with primes and question marks AzurePipelines #556: Commit 9f0d832 pushed by MikaelMayer
June 12, 2023 21:48 1m 27s chore-support-labels-prime-question-marks
chore-support-labels-prime-question-marks
June 12, 2023 21:48 1m 27s
Chore: Better description of automatic verification AzurePipelines #555: Pull request #397 opened by MikaelMayer
June 12, 2023 21:41 1m 41s chore-better-description-of-automatic-verification
chore-better-description-of-automatic-verification
June 12, 2023 21:41 1m 41s
Chore: Better description of automatic verification AzurePipelines #554: Commit 7e7e03d pushed by MikaelMayer
June 12, 2023 21:40 2m 16s chore-better-description-of-automatic-verification
chore-better-description-of-automatic-verification
June 12, 2023 21:40 2m 16s
Fixes "this" highlight AzurePipelines #553: Pull request #396 opened by MikaelMayer
June 12, 2023 19:23 7m 36s fix-386-this-highlight
fix-386-this-highlight
June 12, 2023 19:23 7m 36s
Fixes "this" highlight AzurePipelines #552: Commit f3072b8 pushed by MikaelMayer
June 12, 2023 19:21 3m 56s fix-386-this-highlight
fix-386-this-highlight
June 12, 2023 19:21 3m 56s
Support new IDE states, parsing and preparing verification (#392) AzurePipelines #551: Commit d476f0c pushed by keyboardDrummer
May 22, 2023 11:06 1m 11s master
master
May 22, 2023 11:06 1m 11s
Support new IDE states, parsing and preparing verification AzurePipelines #550: Pull request #392 synchronize by keyboardDrummer
May 22, 2023 08:20 2m 48s keyboardDrummer:supportParsingAndPrepVerifyStates
keyboardDrummer:supportParsingAndPrepVerifyStates
May 22, 2023 08:20 2m 48s
Support new IDE states, parsing and preparing verification AzurePipelines #549: Pull request #392 opened by keyboardDrummer
May 19, 2023 14:41 19m 9s keyboardDrummer:supportParsingAndPrepVerifyStates
keyboardDrummer:supportParsingAndPrepVerifyStates
May 19, 2023 14:41 19m 9s
Release v3.1.1 (updated Dafny to 4.1.0) (#389) AzurePipelines #548: Commit fbf0925 pushed by fabiomadge
May 11, 2023 16:35 1m 37s v3.1.1
v3.1.1
May 11, 2023 16:35 1m 37s