Skip to content

Actions: dafny-lang/ide-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
269 workflow runs
269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prevent verification as tests UI from becoming unresponsive (#421) AzurePipelines #587: Commit 40cc8b8 pushed by keyboardDrummer
August 22, 2023 15:54 1m 25s master
master
August 22, 2023 15:54 1m 25s
Prevent verification as tests UI from becoming unresponsive AzurePipelines #586: Pull request #421 opened by keyboardDrummer
August 22, 2023 14:28 1m 16s keyboardDrummer:fixSymbolStatusGettingStuck
keyboardDrummer:fixSymbolStatusGettingStuck
August 22, 2023 14:28 1m 16s
Prevent verification as tests UI from becoming unresponsive CI #1236: Pull request #421 opened by keyboardDrummer
August 22, 2023 14:28 1m 24s keyboardDrummer:fixSymbolStatusGettingStuck
keyboardDrummer:fixSymbolStatusGettingStuck
August 22, 2023 14:28 1m 24s
Clarify enum option in Dafny version picker (#419) CI #1235: Commit e3f00e2 pushed by keyboardDrummer
August 15, 2023 16:40 1m 43s master
master
August 15, 2023 16:40 1m 43s
Clarify enum option in Dafny version picker (#419) AzurePipelines #585: Commit e3f00e2 pushed by keyboardDrummer
August 15, 2023 16:40 1m 9s master
master
August 15, 2023 16:40 1m 9s
Clarify enum option in Dafny version picker AzurePipelines #584: Pull request #419 synchronize by keyboardDrummer
August 15, 2023 15:45 4m 46s keyboardDrummer:latestStableReleaseText
keyboardDrummer:latestStableReleaseText
August 15, 2023 15:45 4m 46s
Clarify enum option in Dafny version picker CI #1234: Pull request #419 synchronize by keyboardDrummer
August 15, 2023 15:45 5m 29s keyboardDrummer:latestStableReleaseText
keyboardDrummer:latestStableReleaseText
August 15, 2023 15:45 5m 29s
Feat: Added the test command (#420) AzurePipelines #583: Commit 63e5d7f pushed by jtristan
August 14, 2023 20:47 1m 9s master
master
August 14, 2023 20:47 1m 9s
Feat: Added the test command (#420) CI #1233: Commit 63e5d7f pushed by jtristan
August 14, 2023 20:47 1m 25s master
master
August 14, 2023 20:47 1m 25s
Feat: Added the test command AzurePipelines #582: Pull request #420 synchronize by MikaelMayer
August 14, 2023 16:20 2m 42s feat-test-command
feat-test-command
August 14, 2023 16:20 2m 42s
Feat: Added the test command CI #1232: Pull request #420 synchronize by MikaelMayer
August 14, 2023 16:20 2m 34s feat-test-command
feat-test-command
August 14, 2023 16:20 2m 34s
Fixed warnings and errors CI #1231: Commit 9e483dd pushed by MikaelMayer
August 14, 2023 16:19 1m 20s feat-test-command
feat-test-command
August 14, 2023 16:19 1m 20s
Fixed warnings and errors AzurePipelines #581: Commit 9e483dd pushed by MikaelMayer
August 14, 2023 16:19 1m 24s feat-test-command
feat-test-command
August 14, 2023 16:19 1m 24s
Feat: Added the test command AzurePipelines #580: Pull request #420 opened by MikaelMayer
August 14, 2023 14:24 48s feat-test-command
feat-test-command
August 14, 2023 14:24 48s
Feat: Added the test command CI #1230: Pull request #420 opened by MikaelMayer
August 14, 2023 14:24 50s feat-test-command
feat-test-command
August 14, 2023 14:24 50s
Feat: Added the test command CI #1229: Commit 0738dc8 pushed by MikaelMayer
August 14, 2023 14:22 51s feat-test-command
feat-test-command
August 14, 2023 14:22 51s
Feat: Added the test command AzurePipelines #579: Commit 0738dc8 pushed by MikaelMayer
August 14, 2023 14:22 38s feat-test-command
feat-test-command
August 14, 2023 14:22 38s
Clarify enum option in Dafny version picker CI #1228: Pull request #419 opened by keyboardDrummer
August 14, 2023 12:09 2m 5s keyboardDrummer:latestStableReleaseText
keyboardDrummer:latestStableReleaseText
August 14, 2023 12:09 2m 5s
Clarify enum option in Dafny version picker AzurePipelines #578: Pull request #419 opened by keyboardDrummer
August 14, 2023 12:09 1m 31s keyboardDrummer:latestStableReleaseText
keyboardDrummer:latestStableReleaseText
August 14, 2023 12:09 1m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-08-14 or the other filters available.