Skip to content

Actions: dafny-lang/ide-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable starting using a cached nigthly (#519) CI #1369: Commit 9eb1115 pushed by keyboardDrummer
January 23, 2025 17:11 49s master
master
January 23, 2025 17:11 49s
Enable starting using a cached nigthly (#519) AzurePipelines #719: Commit 9eb1115 pushed by keyboardDrummer
January 23, 2025 17:11 2m 16s master
master
January 23, 2025 17:11 2m 16s
Enable starting using a cached nigthly AzurePipelines #718: Pull request #519 opened by keyboardDrummer
January 8, 2025 14:03 2m 10s keyboardDrummer:latestNightlyWithoutInternet
keyboardDrummer:latestNightlyWithoutInternet
January 8, 2025 14:03 2m 10s
Enable starting using a cached nigthly CI #1368: Pull request #519 opened by keyboardDrummer
January 8, 2025 14:03 48s keyboardDrummer:latestNightlyWithoutInternet
keyboardDrummer:latestNightlyWithoutInternet
January 8, 2025 14:03 48s
Chore: Added confirmation message about which version to publish AzurePipelines #717: Pull request #511 opened by MikaelMayer
December 24, 2024 14:35 16m 49s chore-confirmation-version
chore-confirmation-version
December 24, 2024 14:35 16m 49s
Chore: Added confirmation message about which version to publish CI #1367: Pull request #511 opened by MikaelMayer
December 24, 2024 14:35 15m 40s chore-confirmation-version
chore-confirmation-version
December 24, 2024 14:35 15m 40s
Added confirmation message about which version to publish AzurePipelines #716: Commit 093e915 pushed by MikaelMayer
December 24, 2024 14:34 16m 47s chore-confirmation-version
chore-confirmation-version
December 24, 2024 14:34 16m 47s
Added confirmation message about which version to publish CI #1366: Commit 093e915 pushed by MikaelMayer
December 24, 2024 14:34 15m 36s chore-confirmation-version
chore-confirmation-version
December 24, 2024 14:34 15m 36s
Release v3.4.3 (updated Dafny to 4.9.1) (#510) CI #1365: Commit 3a05984 pushed by MikaelMayer
December 24, 2024 14:33 15m 40s v3.4.3
v3.4.3
December 24, 2024 14:33 15m 40s
Release v3.4.3 (updated Dafny to 4.9.1) (#510) AzurePipelines #715: Commit 3a05984 pushed by MikaelMayer
December 24, 2024 14:33 2m 11s v3.4.3
v3.4.3
December 24, 2024 14:33 2m 11s
Release v3.4.3 (updated Dafny to 4.9.1) (#510) AzurePipelines #714: Commit 3a05984 pushed by MikaelMayer
December 24, 2024 14:24 2m 8s master
master
December 24, 2024 14:24 2m 8s
Release v3.4.3 (updated Dafny to 4.9.1) (#510) CI #1364: Commit 3a05984 pushed by MikaelMayer
December 24, 2024 14:24 44s master
master
December 24, 2024 14:24 44s
Release v3.4.3 (updated Dafny to 4.9.1) AzurePipelines #713: Pull request #510 opened by MikaelMayer
December 23, 2024 20:21 2m 9s release-3.4.3
release-3.4.3
December 23, 2024 20:21 2m 9s
Release v3.4.3 (updated Dafny to 4.9.1) CI #1363: Pull request #510 opened by MikaelMayer
December 23, 2024 20:21 43s release-3.4.3
release-3.4.3
December 23, 2024 20:21 43s
Release v3.4.3 (updated Dafny to 4.9.1) AzurePipelines #712: Commit 2f1f82b pushed by MikaelMayer
December 23, 2024 20:21 2m 13s release-3.4.3
release-3.4.3
December 23, 2024 20:21 2m 13s
Release v3.4.3 (updated Dafny to 4.9.1) CI #1362: Commit 2f1f82b pushed by MikaelMayer
December 23, 2024 20:21 48s release-3.4.3
release-3.4.3
December 23, 2024 20:21 48s
Support for @-syntax for attributes (#500) AzurePipelines #711: Commit 58c3528 pushed by MikaelMayer
November 12, 2024 08:03 1m 2s master
master
November 12, 2024 08:03 1m 2s
Support for @-syntax for attributes (#500) CI #1361: Commit 58c3528 pushed by MikaelMayer
November 12, 2024 08:03 1m 0s master
master
November 12, 2024 08:03 1m 0s
Support for @-syntax for attributes AzurePipelines #710: Pull request #500 synchronize by MikaelMayer
November 11, 2024 22:32 59s feat-at-attributes
feat-at-attributes
November 11, 2024 22:32 59s
Support for @-syntax for attributes CI #1360: Pull request #500 synchronize by MikaelMayer
November 11, 2024 22:32 46s feat-at-attributes
feat-at-attributes
November 11, 2024 22:32 46s
Added visual test AzurePipelines #709: Commit 011829c pushed by MikaelMayer
November 11, 2024 22:31 1m 0s feat-at-attributes
feat-at-attributes
November 11, 2024 22:31 1m 0s
Added visual test CI #1359: Commit 011829c pushed by MikaelMayer
November 11, 2024 22:31 47s feat-at-attributes
feat-at-attributes
November 11, 2024 22:31 47s
Update option names CI #1358: Pull request #509 synchronize by keyboardDrummer
November 7, 2024 12:52 52s keyboardDrummer:optionNames
keyboardDrummer:optionNames
November 7, 2024 12:52 52s
Update option names AzurePipelines #708: Pull request #509 synchronize by keyboardDrummer
November 7, 2024 12:52 1m 1s keyboardDrummer:optionNames
keyboardDrummer:optionNames
November 7, 2024 12:52 1m 1s
Update option names AzurePipelines #707: Pull request #509 opened by keyboardDrummer
November 7, 2024 12:40 1m 2s keyboardDrummer:optionNames
keyboardDrummer:optionNames
November 7, 2024 12:40 1m 2s