Skip to content

Actions: nickbattle/vdmj

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
580 workflow runs
580 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
September 23, 2024 08:25 55s
Updated version numbers to 4.6.0 for release
Windows test with Maven #1154: Commit f76b01b pushed by nickbattle
September 23, 2024 08:25 1m 26s master
September 23, 2024 08:25 1m 26s
Merge branch 'highprecision' of https://github.com/nickbattle/vdmj in…
Windows test with Maven #1153: Commit 650cd4c pushed by nickbattle
September 23, 2024 08:09 1m 34s highprecision
September 23, 2024 08:09 1m 34s
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
September 23, 2024 08:09 50s
Merge branch 'master' into highprecision
Windows test with Maven #1152: Commit 548abdf pushed by nickbattle
September 22, 2024 20:06 1m 10s highprecision
September 22, 2024 20:06 1m 10s
Mark @Printf format as executed
Linux test with Maven #1184: Commit 9d8ce02 pushed by nickbattle
September 22, 2024 20:06 54s master
September 22, 2024 20:06 54s
Mark @Printf format as executed
Windows test with Maven #1151: Commit 9d8ce02 pushed by nickbattle
September 22, 2024 20:06 1m 30s master
September 22, 2024 20:06 1m 30s
Merge branch 'master' into highprecision
Linux test with Maven #1183: Commit 548abdf pushed by nickbattle
September 22, 2024 20:06 57s highprecision
September 22, 2024 20:06 57s
Merge branch 'master' into highprecision
Windows test with Maven #1150: Commit 9739f02 pushed by nickbattle
September 19, 2024 21:00 1m 25s highprecision
September 19, 2024 21:00 1m 25s
Merge branch 'master' into highprecision
Linux test with Maven #1182: Commit 9739f02 pushed by nickbattle
September 19, 2024 21:00 55s 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
September 19, 2024 21:00 58s
Tweak a counterexample message
Windows test with Maven #1149: Commit ce4e12a pushed by nickbattle
September 19, 2024 21:00 1m 38s master
September 19, 2024 21:00 1m 38s
Merge branch 'master' into highprecision
Linux test with Maven #1180: Commit 0f64612 pushed by nickbattle
September 19, 2024 20:50 1m 2s highprecision
September 19, 2024 20:50 1m 2s
Merge branch 'master' into highprecision
Windows test with Maven #1148: Commit 0f64612 pushed by nickbattle
September 19, 2024 20:50 1m 49s highprecision
September 19, 2024 20:50 1m 49s
Add the PO# in unsatisfiable failures
Linux test with Maven #1179: Commit 48aa91d pushed by nickbattle
September 19, 2024 20:50 57s master
September 19, 2024 20:50 57s
Add the PO# in unsatisfiable failures
Windows test with Maven #1147: Commit 48aa91d pushed by nickbattle
September 19, 2024 20:50 1m 42s master
September 19, 2024 20:50 1m 42s
Add threaded mark/restore methods for ClassMapper
Windows test with Maven #1146: Commit 541720b pushed by nickbattle
September 19, 2024 15:57 1m 40s master
September 19, 2024 15:57 1m 40s
Add threaded mark/restore methods for ClassMapper
Linux test with Maven #1178: Commit 541720b pushed by nickbattle
September 19, 2024 15:57 58s master
September 19, 2024 15:57 58s
Merge branch 'master' into highprecision
Windows test with Maven #1145: Commit 0d5a664 pushed by nickbattle
September 19, 2024 15:57 1m 34s highprecision
September 19, 2024 15:57 1m 34s
Merge branch 'master' into highprecision
Linux test with Maven #1177: Commit 0d5a664 pushed by nickbattle
September 19, 2024 15:57 1m 5s highprecision
September 19, 2024 15:57 1m 5s
Added vdmj.release property to LSPServer
Windows test with Maven #1144: Commit a2746aa pushed by nickbattle
September 16, 2024 12:10 1m 15s master
September 16, 2024 12:10 1m 15s
Added vdmj.release property to LSPServer
Linux test with Maven #1176: Commit a2746aa pushed by nickbattle
September 16, 2024 12:10 57s master
September 16, 2024 12:10 57s
Merge branch 'master' into highprecision
Windows test with Maven #1143: Commit 4eb02aa pushed by nickbattle
September 16, 2024 12:10 1m 48s highprecision
September 16, 2024 12:10 1m 48s
Merge branch 'master' into highprecision
Linux test with Maven #1175: Commit 4eb02aa pushed by nickbattle
September 16, 2024 12:10 1m 4s 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
September 15, 2024 11:23 50s