Skip to content

Actions: dafny-lang/ide-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
137 workflow runs
137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Call fs.promises.mkdtemp on the correct path to prevent making a temp… CI #1380: Commit 4c532ef pushed by keyboardDrummer
April 7, 2025 09:04 41s master
master
April 7, 2025 09:04 41s
Call fs.promises.mkdtemp on the correct path to prevent making a temp… AzurePipelines #730: Commit 4c532ef pushed by keyboardDrummer
April 7, 2025 09:04 2m 8s master
master
April 7, 2025 09:04 2m 8s
Call fs.promises.mkdtemp on the correct path to prevent making a temp dir in $HOME AzurePipelines #729: Pull request #529 opened by anthowan
April 4, 2025 19:06 2m 9s anthowan:master
anthowan:master
April 4, 2025 19:06 2m 9s
Call fs.promises.mkdtemp on the correct path to prevent making a temp dir in $HOME CI #1379: Pull request #529 opened by anthowan
April 4, 2025 19:06 44s anthowan:master
anthowan:master
April 4, 2025 19:06 44s
Chore: added instructions on how to view the trace (#528) CI #1378: Commit 776283e pushed by MikaelMayer
April 3, 2025 17:55 45s master
master
April 3, 2025 17:55 45s
Chore: added instructions on how to view the trace (#528) AzurePipelines #728: Commit 776283e pushed by MikaelMayer
April 3, 2025 17:55 2m 9s master
master
April 3, 2025 17:55 2m 9s
Chore: added instructions on how to view the trace AzurePipelines #727: Pull request #528 synchronize by MikaelMayer
April 3, 2025 17:41 2m 8s chore-instructions-view-trace
chore-instructions-view-trace
April 3, 2025 17:41 2m 8s
Chore: added instructions on how to view the trace CI #1377: Pull request #528 synchronize by MikaelMayer
April 3, 2025 17:41 44s chore-instructions-view-trace
chore-instructions-view-trace
April 3, 2025 17:41 44s
Update CONTRIBUTING.md AzurePipelines #726: Commit e5d7997 pushed by MikaelMayer
April 3, 2025 17:41 2m 12s chore-instructions-view-trace
chore-instructions-view-trace
April 3, 2025 17:41 2m 12s
Update CONTRIBUTING.md CI #1376: Commit e5d7997 pushed by MikaelMayer
April 3, 2025 17:41 40s chore-instructions-view-trace
chore-instructions-view-trace
April 3, 2025 17:41 40s
Chore: added instructions on how to view the trace AzurePipelines #725: Pull request #528 opened by MikaelMayer
April 3, 2025 14:16 2m 7s chore-instructions-view-trace
chore-instructions-view-trace
April 3, 2025 14:16 2m 7s
Chore: added instructions on how to view the trace CI #1375: Pull request #528 opened by MikaelMayer
April 3, 2025 14:16 45s chore-instructions-view-trace
chore-instructions-view-trace
April 3, 2025 14:16 45s
Update CONTRIBUTING.md CI #1374: Commit e1ba711 pushed by MikaelMayer
April 3, 2025 14:15 51s chore-instructions-view-trace
chore-instructions-view-trace
April 3, 2025 14:15 51s
Update CONTRIBUTING.md AzurePipelines #724: Commit e1ba711 pushed by MikaelMayer
April 3, 2025 14:15 2m 10s chore-instructions-view-trace
chore-instructions-view-trace
April 3, 2025 14:15 2m 10s
Release v3.4.4 (updated Dafny to 4.10.0) (#523) AzurePipelines #723: Commit 1b6dd8b pushed by MikaelMayer
February 6, 2025 14:47 3m 1s v3.4.4
v3.4.4
February 6, 2025 14:47 3m 1s
Release v3.4.4 (updated Dafny to 4.10.0) (#523) CI #1373: Commit 1b6dd8b pushed by MikaelMayer
February 6, 2025 14:47 1m 50s v3.4.4
v3.4.4
February 6, 2025 14:47 1m 50s
Release v3.4.4 (updated Dafny to 4.10.0) (#523) CI #1372: Commit 1b6dd8b pushed by keyboardDrummer
February 5, 2025 21:26 12m 51s master
master
February 5, 2025 21:26 12m 51s
Release v3.4.4 (updated Dafny to 4.10.0) (#523) AzurePipelines #722: Commit 1b6dd8b pushed by keyboardDrummer
February 5, 2025 21:26 13m 46s master
master
February 5, 2025 21:26 13m 46s
Release v3.4.4 (updated Dafny to 4.10.0) AzurePipelines #721: Pull request #523 opened by MikaelMayer
February 5, 2025 21:22 2m 10s release-3.4.4
release-3.4.4
February 5, 2025 21:22 2m 10s
Release v3.4.4 (updated Dafny to 4.10.0) CI #1371: Pull request #523 opened by MikaelMayer
February 5, 2025 21:22 45s release-3.4.4
release-3.4.4
February 5, 2025 21:22 45s
Release v3.4.4 (updated Dafny to 4.10.0) AzurePipelines #720: Commit 89e5f78 pushed by MikaelMayer
February 5, 2025 21:22 2m 11s release-3.4.4
release-3.4.4
February 5, 2025 21:22 2m 11s
Release v3.4.4 (updated Dafny to 4.10.0) CI #1370: Commit 89e5f78 pushed by MikaelMayer
February 5, 2025 21:22 47s release-3.4.4
release-3.4.4
February 5, 2025 21:22 47s
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