Skip to content

Actions: dafny-lang/ide-vscode

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump semver from 7.3.7 to 7.5.4 (#411) CI #1248: Commit 08914f2 pushed by MikaelMayer
September 5, 2023 16:06 37s master
master
September 5, 2023 16:06 37s
Fix: support for spaces in paths CI #1247: Pull request #431 opened by MikaelMayer
September 5, 2023 16:06 33s fix-430-spaces
fix-430-spaces
September 5, 2023 16:06 33s
Fix: support for spaces in paths CI #1246: Commit 4f2be0f pushed by MikaelMayer
September 5, 2023 16:05 34s fix-430-spaces
fix-430-spaces
September 5, 2023 16:05 34s
Always show all verifiable symbols in the test panels (#428) CI #1245: Commit d6d8065 pushed by keyboardDrummer
September 1, 2023 14:28 31s master
master
September 1, 2023 14:28 31s
Always show all verifiable symbols in the test panels CI #1244: Pull request #428 synchronize by keyboardDrummer
September 1, 2023 14:20 36s keyboardDrummer:alwaysStoreVerificationSymbols
keyboardDrummer:alwaysStoreVerificationSymbols
September 1, 2023 14:20 36s
Always show all verifiable symbols in the test panels CI #1243: Pull request #428 opened by keyboardDrummer
September 1, 2023 14:17 27s keyboardDrummer:alwaysStoreVerificationSymbols
keyboardDrummer:alwaysStoreVerificationSymbols
September 1, 2023 14:17 27s
Client side gutter icons CI #1242: Pull request #423 synchronize by keyboardDrummer
August 23, 2023 15:24 2m 19s keyboardDrummer:clientSideGutterIcons
keyboardDrummer:clientSideGutterIcons
August 23, 2023 15:24 2m 19s
Client side gutter icons CI #1241: Pull request #423 synchronize by keyboardDrummer
August 23, 2023 14:46 5m 0s keyboardDrummer:clientSideGutterIcons
keyboardDrummer:clientSideGutterIcons
August 23, 2023 14:46 5m 0s
Client side gutter icons CI #1240: Pull request #423 synchronize by keyboardDrummer
August 23, 2023 14:40 2m 55s keyboardDrummer:clientSideGutterIcons
keyboardDrummer:clientSideGutterIcons
August 23, 2023 14:40 2m 55s
Client side gutter icons CI #1239: Pull request #423 synchronize by keyboardDrummer
August 23, 2023 14:39 2m 46s keyboardDrummer:clientSideGutterIcons
keyboardDrummer:clientSideGutterIcons
August 23, 2023 14:39 2m 46s
Client side gutter icons CI #1238: Pull request #423 opened by keyboardDrummer
August 23, 2023 08:51 1m 34s keyboardDrummer:clientSideGutterIcons
keyboardDrummer:clientSideGutterIcons
August 23, 2023 08:51 1m 34s
Prevent verification as tests UI from becoming unresponsive (#421) CI #1237: Commit 40cc8b8 pushed by keyboardDrummer
August 22, 2023 15:54 1m 50s master
master
August 22, 2023 15:54 1m 50s
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 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) 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 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
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
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
Release v3.1.2 (updated Dafny to 4.2.0) (#415) CI #1227: Commit 176ed57 pushed by keyboardDrummer
July 20, 2023 18:09 1m 53s v3.1.2
v3.1.2
July 20, 2023 18:09 1m 53s
Release v3.1.2 (updated Dafny to 4.2.0) (#415) CI #1226: Commit 176ed57 pushed by keyboardDrummer
July 20, 2023 15:03 1m 44s master
master
July 20, 2023 15:03 1m 44s
Release v3.1.2 (updated Dafny to 4.2.0) CI #1225: Pull request #415 opened by keyboardDrummer
July 20, 2023 14:43 3m 51s release-3.1.2
release-3.1.2
July 20, 2023 14:43 3m 51s
Release v3.1.2 (updated Dafny to 4.2.0) CI #1224: Commit b7fad6f pushed by keyboardDrummer
July 20, 2023 14:42 3m 2s release-3.1.2
release-3.1.2
July 20, 2023 14:42 3m 2s