Skip to content

Actions: nickbattle/vdmj

Actions

Windows test with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
269 workflow runs
269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated vsix.sh for 4.6.0
Windows test with Maven #1129: Commit 220324c pushed by nickbattle
March 12, 2024 11:39 1m 27s master
March 12, 2024 11:39 1m 27s
Fix vdmj_hp in vsix.sh
Windows test with Maven #1128: Commit 2dad967 pushed by nickbattle
March 12, 2024 11:39 1m 14s highprecision
March 12, 2024 11:39 1m 14s
Merge branch 'master' into highprecision
Windows test with Maven #1127: Commit d6104b0 pushed by nickbattle
February 28, 2024 15:38 1m 21s highprecision
February 28, 2024 15:38 1m 21s
Moved to 4.6.0-SNAPSHOT
Windows test with Maven #1126: Commit edfd534 pushed by nickbattle
February 28, 2024 15:38 1m 17s master
February 28, 2024 15:38 1m 17s
Add javadoc to POMs for Maven Central
Windows test with Maven #1125: Commit 0a25086 pushed by nickbattle
February 28, 2024 14:57 1m 21s master
February 28, 2024 14:57 1m 21s
Merge branch 'master' into highprecision
Windows test with Maven #1124: Commit 9e2c2c0 pushed by nickbattle
February 28, 2024 14:57 1m 18s highprecision
February 28, 2024 14:57 1m 18s
Merge branch 'master' into highprecision
Windows test with Maven #1123: Commit f42bdad pushed by nickbattle
February 28, 2024 14:11 2m 11s highprecision
February 28, 2024 14:11 2m 11s
Moved to 4.5.0 on master
Windows test with Maven #1122: Commit 9349fa1 pushed by nickbattle
February 28, 2024 14:11 2m 9s master
February 28, 2024 14:11 2m 9s
Allow maximal type binds in ranges.qc file
Windows test with Maven #1121: Commit 8080748 pushed by nickbattle
February 17, 2024 15:32 1m 14s master
February 17, 2024 15:32 1m 14s
Merge branch 'master' into highprecision
Windows test with Maven #1120: Commit 0368c08 pushed by nickbattle
February 17, 2024 15:32 1m 19s highprecision
February 17, 2024 15:32 1m 19s
Merge branch 'master' into highprecision
Windows test with Maven #1119: Commit d77a26c pushed by nickbattle
January 30, 2024 17:28 2m 9s highprecision
January 30, 2024 17:28 2m 9s
Mark extracted files as read only
Windows test with Maven #1118: Commit 1b84ef5 pushed by nickbattle
January 30, 2024 17:28 1m 34s master
January 30, 2024 17:28 1m 34s
Merge branch 'master' into highprecision
Windows test with Maven #1117: Commit 2f0a2a9 pushed by nickbattle
January 20, 2024 11:19 2m 6s highprecision
January 20, 2024 11:19 2m 6s
Add vdmj.mappings resource and ClassMapperTest
Windows test with Maven #1116: Commit eea1cac pushed by nickbattle
January 20, 2024 11:19 1m 17s master
January 20, 2024 11:19 1m 17s
Merge branch 'master' into highprecision
Windows test with Maven #1115: Commit d932f03 pushed by nickbattle
January 15, 2024 09:26 1m 26s highprecision
January 15, 2024 09:26 1m 26s
Make @OnFail format/doclinks protected
Windows test with Maven #1114: Commit d80fd9f pushed by nickbattle
January 15, 2024 09:26 1m 48s master
January 15, 2024 09:26 1m 48s
Merge branch 'master' into highprecision
Windows test with Maven #1113: Commit 75e0640 pushed by nickbattle
January 14, 2024 11:42 1m 21s highprecision
January 14, 2024 11:42 1m 21s
Add more listAlternatives
Windows test with Maven #1112: Commit 5acca7c pushed by nickbattle
January 14, 2024 11:42 1m 10s master
January 14, 2024 11:42 1m 10s
Improve inaccessible VDM++ member errors
Windows test with Maven #1110: Commit 2b3dfdd pushed by nickbattle
January 13, 2024 21:32 1m 10s master
January 13, 2024 21:32 1m 10s
Merge branch 'master' into highprecision
Windows test with Maven #1111: Commit 9fc8ad2 pushed by nickbattle
January 13, 2024 21:32 1m 23s highprecision
January 13, 2024 21:32 1m 23s
Merge branch 'master' into highprecision
Windows test with Maven #1109: Commit b4e62d3 pushed by nickbattle
January 13, 2024 16:07 1m 21s highprecision
January 13, 2024 16:07 1m 21s
Cleanup @Warning
Windows test with Maven #1108: Commit 583c449 pushed by nickbattle
January 13, 2024 16:07 1m 17s master
January 13, 2024 16:07 1m 17s
Merge branch 'master' into highprecision
Windows test with Maven #1107: Commit 6764185 pushed by nickbattle
January 7, 2024 18:31 1m 42s highprecision
January 7, 2024 18:31 1m 42s
Add warning for nested convertLocal calls
Windows test with Maven #1106: Commit 68eb7bd pushed by nickbattle
January 7, 2024 18:31 1m 10s master
January 7, 2024 18:31 1m 10s
Fixes for @QuickCheck object creation
Windows test with Maven #1105: Commit d63e79c pushed by nickbattle
January 5, 2024 17:10 1m 20s master
January 5, 2024 17:10 1m 20s