Skip to content

Actions: nickbattle/vdmj

Actions

Linux test with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven_linux.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated version numbers to 4.6.0 for release Linux test with Maven #1186: Commit f76b01b pushed by nickbattle
September 23, 2024 08:25 55s master
master
September 23, 2024 08:25 55s
Merge branch 'highprecision' of https://github.com/nickbattle/vdmj in… Linux test with Maven #1185: Commit 650cd4c pushed by nickbattle
September 23, 2024 08:09 50s highprecision
highprecision
September 23, 2024 08:09 50s
Mark @Printf format as executed Linux test with Maven #1184: Commit 9d8ce02 pushed by nickbattle
September 22, 2024 20:06 54s master
master
September 22, 2024 20:06 54s
Merge branch 'master' into highprecision Linux test with Maven #1183: Commit 548abdf pushed by nickbattle
September 22, 2024 20:06 57s highprecision
highprecision
September 22, 2024 20:06 57s
Merge branch 'master' into highprecision Linux test with Maven #1182: Commit 9739f02 pushed by nickbattle
September 19, 2024 21:00 55s highprecision
highprecision
September 19, 2024 21:00 55s
Tweak a counterexample message Linux test with Maven #1181: Commit ce4e12a pushed by nickbattle
September 19, 2024 21:00 58s master
master
September 19, 2024 21:00 58s
Merge branch 'master' into highprecision Linux test with Maven #1180: Commit 0f64612 pushed by nickbattle
September 19, 2024 20:50 1m 2s highprecision
highprecision
September 19, 2024 20:50 1m 2s
Add the PO# in unsatisfiable failures Linux test with Maven #1179: Commit 48aa91d pushed by nickbattle
September 19, 2024 20:50 57s master
master
September 19, 2024 20:50 57s
Add threaded mark/restore methods for ClassMapper Linux test with Maven #1178: Commit 541720b pushed by nickbattle
September 19, 2024 15:57 58s master
master
September 19, 2024 15:57 58s
Merge branch 'master' into highprecision Linux test with Maven #1177: Commit 0d5a664 pushed by nickbattle
September 19, 2024 15:57 1m 5s highprecision
highprecision
September 19, 2024 15:57 1m 5s
Added vdmj.release property to LSPServer Linux test with Maven #1176: Commit a2746aa pushed by nickbattle
September 16, 2024 12:10 57s master
master
September 16, 2024 12:10 57s
Merge branch 'master' into highprecision Linux test with Maven #1175: Commit 4eb02aa pushed by nickbattle
September 16, 2024 12:10 1m 4s highprecision
highprecision
September 16, 2024 12:10 1m 4s
Add new ignores as effective deletes, to remove error/warnings Linux test with Maven #1174: Commit 198c7ca pushed by nickbattle
September 15, 2024 11:23 50s master
master
September 15, 2024 11:23 50s
Merge branch 'master' into highprecision Linux test with Maven #1173: Commit 4bf2a61 pushed by nickbattle
September 15, 2024 11:23 50s highprecision
highprecision
September 15, 2024 11:23 50s
Simplify vsix extract Linux test with Maven #1172: Commit 24d650a pushed by nickbattle
August 18, 2024 15:46 48s master
master
August 18, 2024 15:46 48s
Merge branch 'master' into highprecision Linux test with Maven #1171: Commit 8dfae96 pushed by nickbattle
August 18, 2024 15:46 48s highprecision
highprecision
August 18, 2024 15:46 48s
Update version number in README_VDMJ Linux test with Maven #1170: Commit 70e2dcc pushed by nickbattle
August 18, 2024 10:19 47s master
master
August 18, 2024 10:19 47s
Merge branch 'master' into highprecision Linux test with Maven #1169: Commit e267e59 pushed by nickbattle
August 18, 2024 10:19 46s highprecision
highprecision
August 18, 2024 10:19 46s
Changed annotations.json to "high" precision Linux test with Maven #1168: Commit 8026cd9 pushed by nickbattle
May 14, 2024 09:33 1m 1s highprecision
highprecision
May 14, 2024 09:33 1m 1s
Added annotations.json Linux test with Maven #1167: Commit aad9314 pushed by nickbattle
May 14, 2024 09:33 53s master
master
May 14, 2024 09:33 53s
Update precision of plugin.json files Linux test with Maven #1166: Commit 2fe0bfd pushed by nickbattle
April 30, 2024 19:26 51s highprecision
highprecision
April 30, 2024 19:26 51s
Merge branch 'master' into highprecision Linux test with Maven #1165: Commit 76c3d28 pushed by nickbattle
April 30, 2024 19:11 53s highprecision
highprecision
April 30, 2024 19:11 53s
Updated LSP documentation for plugins Linux test with Maven #1164: Commit c3f9e06 pushed by nickbattle
April 30, 2024 19:11 53s master
master
April 30, 2024 19:11 53s
Test mutuallyRecursive flag in QCRun Linux test with Maven #1163: Commit 28b7172 pushed by nickbattle
April 6, 2024 11:35 48s master
master
April 6, 2024 11:35 48s
Merge branch 'master' into highprecision Linux test with Maven #1162: Commit c057e5b pushed by nickbattle
April 6, 2024 11:35 48s highprecision
highprecision
April 6, 2024 11:35 48s