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

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
Update to 1.4.0-beta.6 Create VSIX #325: Commit 40b8654 pushed by MarkusEllyton
April 5, 2024 13:29 32s v1.4.0-beta.6
v1.4.0-beta.6
April 5, 2024 13:29 32s
Update to 1.4.0-beta.6 Create VSIX #324: Commit 40b8654 pushed by MarkusEllyton
April 5, 2024 13:25 1m 33s quickcheck_integration
quickcheck_integration
April 5, 2024 13:25 1m 33s
Add incremental progress to QuickCheck notification Create VSIX #323: Commit b9cd764 pushed by MarkusEllyton
March 29, 2024 17:32 58s quickcheck_integration
quickcheck_integration
March 29, 2024 17:32 58s
Show notification when QC is running. Create VSIX #322: Commit 91fba04 pushed by MarkusEllyton
March 26, 2024 16:23 1m 15s quickcheck_integration
quickcheck_integration
March 26, 2024 16:23 1m 15s
Only run QuickCheck on subset of POs that are visible when filtering Create VSIX #321: Commit f085258 pushed by MarkusEllyton
March 21, 2024 22:40 1m 7s v1.4.0-beta.3
v1.4.0-beta.3
March 21, 2024 22:40 1m 7s
Only run QuickCheck on subset of POs that are visible when filtering Create VSIX #320: Commit f085258 pushed by MarkusEllyton
March 21, 2024 22:28 1m 11s v.1.4.0-beta.2
v.1.4.0-beta.2
March 21, 2024 22:28 1m 11s
Add possibility of configuring QuickCheck with quickcheck.json Create VSIX #319: Commit fdb0e99 pushed by MarkusEllyton
March 21, 2024 22:27 1m 17s v1.4.0-beta.2
v1.4.0-beta.2
March 21, 2024 22:27 1m 17s
Update jars and package codicons in extension Create VSIX #318: Commit 8d2cc4e pushed by MarkusEllyton
March 21, 2024 22:27 1m 22s v1.4.0-beta.1
v1.4.0-beta.1
March 21, 2024 22:27 1m 22s
Only run QuickCheck on subset of POs that are visible when filtering Create VSIX #317: Commit f085258 pushed by MarkusEllyton
March 21, 2024 22:12 1m 16s quickcheck_integration
quickcheck_integration
March 21, 2024 22:12 1m 16s
Add possibility of configuring QuickCheck with quickcheck.json Create VSIX #316: Commit fdb0e99 pushed by MarkusEllyton
March 17, 2024 23:32 1m 21s v.1.4.0-beta.2
v.1.4.0-beta.2
March 17, 2024 23:32 1m 21s
Add possibility of configuring QuickCheck with quickcheck.json Create VSIX #315: Commit fdb0e99 pushed by MarkusEllyton
March 17, 2024 23:26 1m 9s quickcheck_integration
quickcheck_integration
March 17, 2024 23:26 1m 9s
Fix debug counterexample not showing debug UI Create VSIX #314: Commit f37de39 pushed by MarkusEllyton
March 11, 2024 17:07 1m 5s quickcheck_integration
quickcheck_integration
March 11, 2024 17:07 1m 5s
Update jars and package codicons in extension Create VSIX #313: Commit 8d2cc4e pushed by MarkusEllyton
March 10, 2024 21:47 1m 21s v.1.4.0-beta.1
v.1.4.0-beta.1
March 10, 2024 21:47 1m 21s
Update jars and package codicons in extension Create VSIX #312: Commit 8d2cc4e pushed by MarkusEllyton
March 10, 2024 21:35 1m 11s quickcheck_integration
quickcheck_integration
March 10, 2024 21:35 1m 11s