Skip to content

Actions: overturetool/vdm-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'quickcheck_integration' of https://github.com/MarkusEll… Create VSIX #350: Commit 53260ca pushed by MarkusEllyton
November 20, 2024 20:56 1m 6s quickcheck_integration
quickcheck_integration
November 20, 2024 20:56 1m 6s
Merge branch 'quickcheck_integration' of https://github.com/MarkusEll… Create VSIX #349: Commit 73e8778 pushed by MarkusEllyton
November 20, 2024 20:40 1m 3s quickcheck_integration
quickcheck_integration
November 20, 2024 20:40 1m 3s
Merge branch 'quickcheck_integration' of https://github.com/MarkusEll… Create VSIX #348: Commit 296cead pushed by MarkusEllyton
November 20, 2024 01:10 1m 8s quickcheck_integration
quickcheck_integration
November 20, 2024 01:10 1m 8s
Merge branch 'quickcheck_integration' of https://github.com/overturet… Create VSIX #347: Commit c1e5f21 pushed by MarkusEllyton
November 15, 2024 16:24 3m 31s v1.5.1-SNAPSHOT
v1.5.1-SNAPSHOT
November 15, 2024 16:24 3m 31s
Merge branch 'quickcheck_integration' of https://github.com/overturet… Create VSIX #346: Commit c1e5f21 pushed by MarkusEllyton
November 15, 2024 16:07 4m 0s quickcheck_integration
quickcheck_integration
November 15, 2024 16:07 4m 0s
Update documentation image/gif Create VSIX #345: Commit 5d39403 pushed by MarkusEllyton
October 28, 2024 20:13 3m 28s quickcheck_integration
quickcheck_integration
October 28, 2024 20:13 3m 28s
Bump version to 1.5.0 Create VSIX #344: Commit 005d116 pushed by MarkusEllyton
September 24, 2024 19:10 3m 21s v1.5.0
v1.5.0
September 24, 2024 19:10 3m 21s
Bump version to 1.5.0 Create VSIX #343: Commit 005d116 pushed by MarkusEllyton
September 24, 2024 18:49 1m 7s quickcheck_integration
quickcheck_integration
September 24, 2024 18:49 1m 7s
Update VDM JARs Create VSIX #342: Commit 2d80bd2 pushed by MarkusEllyton
September 22, 2024 22:14 59s quickcheck_integration
quickcheck_integration
September 22, 2024 22:14 59s
Bump version to 1.4.0-beta.14 Create VSIX #341: Commit 8115cd9 pushed by MarkusEllyton
September 22, 2024 20:46 3m 23s v1.4.0-beta.14
v1.4.0-beta.14
September 22, 2024 20:46 3m 23s
Bump version to 1.4.0-beta.14 Create VSIX #340: Commit 8115cd9 pushed by MarkusEllyton
September 22, 2024 20:42 1m 1s quickcheck_integration
quickcheck_integration
September 22, 2024 20:42 1m 1s
Bump version to 1.4.0-beta.13 Create VSIX #339: Commit 8590494 pushed by MarkusEllyton
September 18, 2024 19:03 3m 14s v1.4.0-beta.13
v1.4.0-beta.13
September 18, 2024 19:03 3m 14s
Bump version to 1.4.0-beta.13 Create VSIX #338: Commit 8590494 pushed by MarkusEllyton
September 18, 2024 18:59 1m 3s quickcheck_integration
quickcheck_integration
September 18, 2024 18:59 1m 3s
Replace deprecated task in GitHub Actions file to fix building Create VSIX #337: Commit f954ba1 pushed by MarkusEllyton
September 17, 2024 05:11 3m 20s v1.4.0-beta.12
v1.4.0-beta.12
September 17, 2024 05:11 3m 20s
Replace deprecated task in GitHub Actions file to fix building Create VSIX #336: Commit f954ba1 pushed by MarkusEllyton
September 17, 2024 05:05 3m 15s quickcheck_integration
quickcheck_integration
September 17, 2024 05:05 3m 15s
Delay rendering of error message in PO view to avoid flashing Create VSIX #335: Commit d50911d pushed by MarkusEllyton
September 17, 2024 04:58 9s quickcheck_integration
quickcheck_integration
September 17, 2024 04:58 9s
Fix character literal syntax highlighting which would break primed id… Create VSIX #334: Commit ed14f39 pushed by MarkusEllyton
September 15, 2024 19:44 12s quickcheck_integration
quickcheck_integration
September 15, 2024 19:44 12s
Improve QuickCheck UI and refactor VDMJ enhancement management Create VSIX #333: Commit 59e0640 pushed by MarkusEllyton
August 26, 2024 07:26 3m 22s v1.4.0-beta.10
v1.4.0-beta.10
August 26, 2024 07:26 3m 22s
Improve QuickCheck UI and refactor VDMJ enhancement management Create VSIX #332: Commit 59e0640 pushed by MarkusEllyton
August 26, 2024 07:21 3m 20s quickcheck_integration
quickcheck_integration
August 26, 2024 07:21 3m 20s
Update annotation management, bump version to 1.4.0-beta.9 Create VSIX #331: Commit f9db17e pushed by MarkusEllyton
May 26, 2024 08:47 1m 10s v1.4.0-beta.9
v1.4.0-beta.9
May 26, 2024 08:47 1m 10s
Update annotation management, bump version to 1.4.0-beta.9 Create VSIX #330: Commit f9db17e pushed by MarkusEllyton
May 26, 2024 08:40 1m 30s quickcheck_integration
quickcheck_integration
May 26, 2024 08:40 1m 30s
Refactor extension management and add support for annotations Create VSIX #329: Commit 726f5a4 pushed by MarkusEllyton
May 13, 2024 19:12 1m 13s v1.4.0-beta.8
v1.4.0-beta.8
May 13, 2024 19:12 1m 13s
Refactor extension management and add support for annotations Create VSIX #328: Commit 726f5a4 pushed by MarkusEllyton
May 13, 2024 19:07 1m 18s quickcheck_integration
quickcheck_integration
May 13, 2024 19:07 1m 18s
Bump version to 1.4.0-beta.7 Create VSIX #327: Commit 2ec512e pushed by MarkusEllyton
April 23, 2024 11:46 1m 13s v1.4.0-beta.7
v1.4.0-beta.7
April 23, 2024 11:46 1m 13s
Bump version to 1.4.0-beta.7 Create VSIX #326: Commit 2ec512e pushed by MarkusEllyton
April 23, 2024 11:41 1m 23s quickcheck_integration
quickcheck_integration
April 23, 2024 11:41 1m 23s