Skip to content

Actions: nickbattle/vdmj

Actions

Windows test with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven_windows.yml
106 workflow run results
106 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added another verbose call Windows test with Maven #1040: Commit 9c88600 pushed by nickbattle
December 9, 2023 11:38 1m 6s master
master
December 9, 2023 11:38 1m 6s
Merge branch 'master' into highprecision Windows test with Maven #1041: Commit 39caa28 pushed by nickbattle
December 9, 2023 11:38 1m 16s highprecision
highprecision
December 9, 2023 11:38 1m 16s
Merge branch 'master' into highprecision Windows test with Maven #1038: Commit 4898562 pushed by nickbattle
December 3, 2023 21:49 1m 14s highprecision
highprecision
December 3, 2023 21:49 1m 14s
Check for opaque type in mk_Record pattern Windows test with Maven #1039: Commit 4693a35 pushed by nickbattle
December 3, 2023 21:49 1m 40s master
master
December 3, 2023 21:49 1m 40s
Merge branch 'master' into highprecision Windows test with Maven #1037: Commit 79daa1f pushed by nickbattle
December 3, 2023 15:57 1m 58s highprecision
highprecision
December 3, 2023 15:57 1m 58s
Revert change on stack isExistential Windows test with Maven #1036: Commit 8e9fbea pushed by nickbattle
December 3, 2023 15:57 1m 14s master
master
December 3, 2023 15:57 1m 14s
Tidy and expand qc help Windows test with Maven #1035: Commit 4be9e80 pushed by nickbattle
December 3, 2023 15:53 1m 11s master
master
December 3, 2023 15:53 1m 11s
Merge branch 'master' into highprecision Windows test with Maven #1034: Commit 4fb7fb9 pushed by nickbattle
December 3, 2023 15:53 1m 9s highprecision
highprecision
December 3, 2023 15:53 1m 9s
More POG fixes for SL examples Windows test with Maven #1032: Commit 9f838e1 pushed by nickbattle
December 3, 2023 11:58 1m 0s master
master
December 3, 2023 11:58 1m 0s
Merge branch 'master' into highprecision Windows test with Maven #1033: Commit 524056e pushed by nickbattle
December 3, 2023 11:58 1m 19s highprecision
highprecision
December 3, 2023 11:58 1m 19s
Add missing @T param defence Windows test with Maven #1031: Commit 14cd6fb pushed by nickbattle
December 2, 2023 12:42 1m 17s master
master
December 2, 2023 12:42 1m 17s
Merge branch 'master' into highprecision Windows test with Maven #1030: Commit f7b51eb pushed by nickbattle
December 2, 2023 12:42 1m 14s highprecision
highprecision
December 2, 2023 12:42 1m 14s
Re-order top level POM Windows test with Maven #1029: Commit 9d21b92 pushed by nickbattle
December 2, 2023 10:00 1m 3s master
master
December 2, 2023 10:00 1m 3s
Merge branch 'master' into highprecision Windows test with Maven #1028: Commit f44a9f4 pushed by nickbattle
December 2, 2023 10:00 1m 12s highprecision
highprecision
December 2, 2023 10:00 1m 12s
Merge branch 'master' into highprecision Windows test with Maven #1027: Commit 4068c50 pushed by nickbattle
December 2, 2023 09:47 59s highprecision
highprecision
December 2, 2023 09:47 59s
Move quickcheck from examples to top level Windows test with Maven #1026: Commit 4f43dfd pushed by nickbattle
December 2, 2023 09:47 1m 2s master
master
December 2, 2023 09:47 1m 2s
Merge branch 'master' into highprecision Windows test with Maven #1024: Commit f1ac513 pushed by nickbattle
December 1, 2023 19:15 1m 10s highprecision
highprecision
December 1, 2023 19:15 1m 10s
Se the TypeComparator currentModule in PO checking Windows test with Maven #1025: Commit c6e32b9 pushed by nickbattle
December 1, 2023 19:15 1m 22s master
master
December 1, 2023 19:15 1m 22s
Fix TCPattern.toSource for recursive record patterns Windows test with Maven #1023: Commit 52d2b87 pushed by nickbattle
December 1, 2023 12:34 1m 8s master
master
December 1, 2023 12:34 1m 8s
Merge branch 'master' into highprecision Windows test with Maven #1022: Commit 894d834 pushed by nickbattle
December 1, 2023 12:34 1m 11s highprecision
highprecision
December 1, 2023 12:34 1m 11s
Updated documents for plugin/help tweaks Windows test with Maven #1020: Commit f307195 pushed by nickbattle
November 30, 2023 12:23 1m 49s master
master
November 30, 2023 12:23 1m 49s
Merge branch 'master' into highprecision Windows test with Maven #1021: Commit bf27f29 pushed by nickbattle
November 30, 2023 12:23 1m 16s highprecision
highprecision
November 30, 2023 12:23 1m 16s
Merge branch 'master' into highprecision Windows test with Maven #1018: Commit d27ff5f pushed by nickbattle
November 30, 2023 10:40 1m 24s highprecision
highprecision
November 30, 2023 10:40 1m 24s
Remove static help methods in AnalysisCommands Windows test with Maven #1019: Commit 3213ab4 pushed by nickbattle
November 30, 2023 10:40 1m 7s master
master
November 30, 2023 10:40 1m 7s
Merge branch 'master' into highprecision Windows test with Maven #1016: Commit 3e95f0c pushed by nickbattle
November 28, 2023 17:29 1m 10s highprecision
highprecision
November 28, 2023 17:29 1m 10s