Skip to content

Actions: dafny-lang/ide-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
248 workflow runs
248 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Chore: Support labels with primes and question marks (#398) CI #1210: Commit 52f8dbd pushed by keyboardDrummer
June 13, 2023 09:07 8m 31s master
master
June 13, 2023 09:07 8m 31s
Chore: Better description of automatic verification (#397) CI #1209: Commit 882d4c7 pushed by keyboardDrummer
June 13, 2023 09:06 7m 11s master
master
June 13, 2023 09:06 7m 11s
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
Fixes "this" highlight (#396) CI #1208: Commit d043f68 pushed by keyboardDrummer
June 13, 2023 08:56 1m 21s master
master
June 13, 2023 08:56 1m 21s
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 CI #1207: Pull request #398 opened by MikaelMayer
June 12, 2023 21:51 1m 53s chore-support-labels-prime-question-marks
chore-support-labels-prime-question-marks
June 12, 2023 21:51 1m 53s
Chore: Support labels with primes and question marks CI #1206: Commit 9f0d832 pushed by MikaelMayer
June 12, 2023 21:48 1m 25s chore-support-labels-prime-question-marks
chore-support-labels-prime-question-marks
June 12, 2023 21:48 1m 25s
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 CI #1205: Pull request #397 opened by MikaelMayer
June 12, 2023 21:41 2m 2s chore-better-description-of-automatic-verification
chore-better-description-of-automatic-verification
June 12, 2023 21:41 2m 2s
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 CI #1204: Commit 7e7e03d pushed by MikaelMayer
June 12, 2023 21:40 1m 16s chore-better-description-of-automatic-verification
chore-better-description-of-automatic-verification
June 12, 2023 21:40 1m 16s
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 CI #1203: Pull request #396 opened by MikaelMayer
June 12, 2023 19:23 7m 49s fix-386-this-highlight
fix-386-this-highlight
June 12, 2023 19:23 7m 49s
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
Fixes "this" highlight CI #1202: Commit f3072b8 pushed by MikaelMayer
June 12, 2023 19:21 5m 44s fix-386-this-highlight
fix-386-this-highlight
June 12, 2023 19:21 5m 44s
Support new IDE states, parsing and preparing verification (#392) CI #1201: Commit d476f0c pushed by keyboardDrummer
May 22, 2023 11:06 1m 16s master
master
May 22, 2023 11:06 1m 16s
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 CI #1200: Pull request #392 synchronize by keyboardDrummer
May 22, 2023 08:20 1m 21s keyboardDrummer:supportParsingAndPrepVerifyStates
keyboardDrummer:supportParsingAndPrepVerifyStates
May 22, 2023 08:20 1m 21s
Support new IDE states, parsing and preparing verification CI #1199: Pull request #392 opened by keyboardDrummer
May 19, 2023 14:41 17m 47s keyboardDrummer:supportParsingAndPrepVerifyStates
keyboardDrummer:supportParsingAndPrepVerifyStates
May 19, 2023 14:41 17m 47s
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
ProTip! You can narrow down the results and go further in time using created:<2023-05-19 or the other filters available.