Skip to content

Releases: VDM-Maintainer-Group/vdm-vscode-plugin

v0.7.0 (Automatic Release)

25 Nov 08:13
@github-actions github-actions
v0.7.0
56515e0
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.7.0 (Automatic Release) Latest
Latest 
Merge pull request #6 from VDM-Maintainer-Group/master

Update Release
Assets 3
Loading

v0.5.0 (Automatic Release)

02 Jun 14:23
@github-actions github-actions
v0.5.0
cd53e13
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.5.0 (Automatic Release) 
Merge pull request #4 from VDM-Maintainer-Group/master

update implementation
Assets 3
Loading

v0.4.0 (Automatic Release)

01 Jun 06:50
@github-actions github-actions
v0.4.0
c1af680
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.4.0 (Automatic Release) 
Merge pull request #3 from VDM-Maintainer-Group/master

bump v0.4.0
Assets 3
Loading

v0.3.0 (Automatic Release)

13 May 09:21
@github-actions github-actions
v0.3.0
231b012
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.3.0 (Automatic Release) 
Merge pull request #2 from VDM-Maintainer-Group/master

merge for release
Assets 3
Loading

v0.2.5 (Automatic Release)

22 Jan 13:01
@github-actions github-actions
v0.2.5
06813ad
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.2.5 (Automatic Release) 
Merge pull request #1 from VDM-Maintainer-Group/master

bump v0.2.5
Assets 3
Loading

Automatic Release by Github Action

28 Apr 15:02
@github-actions github-actions
v0.2.4
d10b0b1
Compare
Choose a tag to compare
Automatic Release by Github Action 
v0.2.4

bump v0.2.4
Assets 3
Loading