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

Merge branch 'master' into highprecision Linux test with Maven #1036: Commit c4c6122 pushed by nickbattle
November 25, 2023 12:48 42s highprecision
highprecision
November 25, 2023 12:48 42s
Merge branch 'master' into highprecision Linux test with Maven #1035: Commit 1f0ca57 pushed by nickbattle
November 24, 2023 20:05 45s highprecision
highprecision
November 24, 2023 20:05 45s
Added VSCode qcrun command Linux test with Maven #1034: Commit 64439ab pushed by nickbattle
November 24, 2023 20:05 40s master
master
November 24, 2023 20:05 40s
Define PO definition for some more obligations Linux test with Maven #1033: Commit f32210b pushed by nickbattle
November 14, 2023 11:15 49s master
master
November 14, 2023 11:15 49s
Real/rational tidy up for hp Linux test with Maven #1032: Commit 660a070 pushed by nickbattle
November 14, 2023 11:15 49s highprecision
highprecision
November 14, 2023 11:15 49s
Change witness to be a Context and tidy Linux test with Maven #1031: Commit 70e16b6 pushed by nickbattle
November 11, 2023 17:17 2m 1s master
master
November 11, 2023 17:17 2m 1s
Merge branch 'master' into highprecision Linux test with Maven #1030: Commit bb94db1 pushed by nickbattle
November 11, 2023 17:17 42s highprecision
highprecision
November 11, 2023 17:17 42s
Merge branch 'master' into highprecision Linux test with Maven #1029: Commit 3fbdc16 pushed by nickbattle
November 10, 2023 10:03 41s highprecision
highprecision
November 10, 2023 10:03 41s
Only allow breakpoint entry from SchedulableThreads Linux test with Maven #1028: Commit b91a1e4 pushed by nickbattle
November 10, 2023 10:03 40s master
master
November 10, 2023 10:03 40s
Set the interpreter default module/class from PO location Linux test with Maven #1027: Commit 5bf2252 pushed by nickbattle
November 7, 2023 21:16 1m 1s master
master
November 7, 2023 21:16 1m 1s
Merge branch 'master' into highprecision Linux test with Maven #1026: Commit d8d8ba6 pushed by nickbattle
November 7, 2023 21:16 55s highprecision
highprecision
November 7, 2023 21:16 55s
Use PO.hasCorrelatedBinds and suppress function generation in creators Linux test with Maven #1025: Commit 7c0c8b4 pushed by nickbattle
November 7, 2023 19:53 59s master
master
November 7, 2023 19:53 59s
Fix some BigInteger stuff Linux test with Maven #1024: Commit cec3a1e pushed by nickbattle
November 7, 2023 19:53 37s highprecision
highprecision
November 7, 2023 19:53 37s
Deal with delete/rename of external files with errs/warns Linux test with Maven #1023: Commit 4f5ebfe pushed by nickbattle
November 7, 2023 11:38 40s master
master
November 7, 2023 11:38 40s
Merge branch 'master' into highprecision Linux test with Maven #1022: Commit d8cf40e pushed by nickbattle
November 7, 2023 11:38 55s highprecision
highprecision
November 7, 2023 11:38 55s
Merge branch 'master' into highprecision Linux test with Maven #1021: Commit c7094ff pushed by nickbattle
November 6, 2023 14:41 41s highprecision
highprecision
November 6, 2023 14:41 41s
Update VDMUtil source for PP and RT, and untweak Java Linux test with Maven #1020: Commit c9fa031 pushed by nickbattle
November 6, 2023 14:41 44s master
master
November 6, 2023 14:41 44s
Merge branch 'master' into highprecision Linux test with Maven #1019: Commit 1b28f8a pushed by nickbattle
November 5, 2023 22:41 41s highprecision
highprecision
November 5, 2023 22:41 41s
Fix POType existential for inv satisfiability Linux test with Maven #1018: Commit 8108dc6 pushed by nickbattle
November 5, 2023 22:41 45s master
master
November 5, 2023 22:41 45s
Merge branch 'master' into highprecision Linux test with Maven #1017: Commit 7de6e54 pushed by nickbattle
November 5, 2023 21:42 45s highprecision
highprecision
November 5, 2023 21:42 45s
Treat 'not yet specified' encounter as a MAYBE Linux test with Maven #1016: Commit d5e1332 pushed by nickbattle
November 5, 2023 21:42 40s master
master
November 5, 2023 21:42 40s
Tidy QC error output Linux test with Maven #1015: Commit 36931ad pushed by nickbattle
November 3, 2023 17:46 40s master
master
November 3, 2023 17:46 40s
Merge branch 'master' into highprecision Linux test with Maven #1014: Commit 119655f pushed by nickbattle
November 3, 2023 17:46 1m 5s highprecision
highprecision
November 3, 2023 17:46 1m 5s
Remove vscode.sh and add vsix.sh Linux test with Maven #1013: Commit 17f5ae9 pushed by nickbattle
November 1, 2023 21:08 1m 7s master
master
November 1, 2023 21:08 1m 7s
Merge branch 'master' into highprecision Linux test with Maven #1012: Commit 224dee8 pushed by nickbattle
November 1, 2023 21:08 54s highprecision
highprecision
November 1, 2023 21:08 54s