Skip to content

Actions: overturetool/vdm-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
234 workflow runs
234 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add ellipsis to VDM option titles requiring user interaction Create VSIX #576: Commit f9ec756 pushed by c4rlo14
1m 0s development
development
1m 0s
Rename VDM submenu label to "VDM Options" Create VSIX #575: Commit da17746 pushed by c4rlo14
1m 9s development
development
1m 9s
Enhance project creation logic to manage workspaces Create VSIX #574: Commit b7afaa6 pushed by c4rlo14
1m 4s development
development
1m 4s
Add project creation functionality and templates Create VSIX #573: Commit 87a7638 pushed by c4rlo14
1m 1s development
development
1m 1s
Added highlighting to logging prompt Create VSIX #572: Commit b1d38fb pushed by c4rlo14
58s development
development
58s
Improved logging prompt for existing configurations Create VSIX #571: Commit fa21f9b pushed by c4rlo14
1m 13s development
development
1m 13s
Implemented prompt for enableLogging when creating RT lens run config… Create VSIX #570: Commit e55f546 pushed by c4rlo14
1m 2s development
development
1m 2s
Updated README (markdown) Create VSIX #569: Commit 086963b pushed by c4rlo14
57s v2.0.0
v2.0.0
57s
Updated README (markdown) Create VSIX #568: Commit 086963b pushed by c4rlo14
57s main
main
57s
Updated README (markdown) Create VSIX #567: Commit 086963b pushed by c4rlo14
57s development
development
57s
Updated vdmj jars Create VSIX #566: Commit 7cd9007 pushed by c4rlo14
1m 3s main
main
1m 3s
Updated vdmj jars Create VSIX #565: Commit 7cd9007 pushed by c4rlo14
1m 3s development
development
1m 3s
Updated vdmj jars Create VSIX #564: Commit a5bf00b pushed by c4rlo14
1m 6s main
main
1m 6s
Updated vdmj jars Create VSIX #563: Commit a5bf00b pushed by c4rlo14
1m 13s development
development
1m 13s
Quick interpreter (#238) Create VSIX #562: Commit c945b55 pushed by c4rlo14
1m 5s development
development
1m 5s
Addec high precision mode support Create VSIX #561: Commit 46c01ba pushed by c4rlo14
1m 6s quick-interpreter
quick-interpreter
1m 6s
Remove default -Xmx argument Create VSIX #560: Commit 69fc02c pushed by c4rlo14
1m 2s quick-interpreter
quick-interpreter
1m 2s
Fix duplicate -Xmx, ignore tab input, set working directory to active… Create VSIX #559: Commit 0cc7a83 pushed by c4rlo14
1m 5s quick-interpreter
quick-interpreter
1m 5s
Improved Quick Interpreter Create VSIX #558: Commit 2c04027 pushed by c4rlo14
1m 0s quick-interpreter
quick-interpreter
1m 0s
Simplified Quick Interpreter handler and improved termination handling Create VSIX #557: Commit 35332a6 pushed by c4rlo14
1m 9s quick-interpreter
quick-interpreter
1m 9s
Implemented cursor navigation support in Quick Interpreter Create VSIX #556: Commit 844068e pushed by c4rlo14
1m 0s quick-interpreter
quick-interpreter
1m 0s
Add Quick Interpreter handler Create VSIX #555: Commit 8b4ec54 pushed by c4rlo14
1m 3s quick-interpreter
quick-interpreter
1m 3s
Enhance navigation by ignoring non-file locations in Proof Obligation… Create VSIX #554: Commit e3343a8 pushed by c4rlo14
1m 2s quick-interpreter
quick-interpreter
1m 2s
Enhance navigation by ignoring non-file locations in Proof Obligation… Create VSIX #553: Commit e3343a8 pushed by c4rlo14
1m 1s development
development
1m 1s
Add warning icon for failed POs Create VSIX #552: Commit 08470c1 pushed by c4rlo14
1m 5s development
development
1m 5s