Skip to content

Actions: nickbattle/vdmj

Actions

Linux test with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven_linux.yml
80 workflow run results
80 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 #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
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
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
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
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
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 #1010: Commit 722e150 pushed by nickbattle
October 31, 2023 19:16 1m 0s highprecision
highprecision
October 31, 2023 19:16 1m 0s
Send POG updated notification from ScriptRunnable Linux test with Maven #1011: Commit 3b0945b pushed by nickbattle
October 31, 2023 19:16 40s master
master
October 31, 2023 19:16 40s
Merge branch 'master' into highprecision Linux test with Maven #1009: Commit 79a7c58 pushed by nickbattle
October 31, 2023 16:19 1m 4s highprecision
highprecision
October 31, 2023 16:19 1m 4s
Fix for @annotation parsing without arguments Linux test with Maven #1008: Commit 8463462 pushed by nickbattle
October 31, 2023 16:19 1m 2s master
master
October 31, 2023 16:19 1m 2s
Merge branch 'master' into highprecision Linux test with Maven #1006: Commit 80419b9 pushed by nickbattle
October 30, 2023 16:43 56s highprecision
highprecision
October 30, 2023 16:43 56s
Add let context to trivial strategy visitor Linux test with Maven #1007: Commit 8cfd210 pushed by nickbattle
October 30, 2023 16:43 58s master
master
October 30, 2023 16:43 58s
Use isExistential rather than instanceof Linux test with Maven #1005: Commit d351af2 pushed by nickbattle
October 30, 2023 13:32 48s master
master
October 30, 2023 13:32 48s
Merge branch 'master' into highprecision Linux test with Maven #1004: Commit d50ef70 pushed by nickbattle
October 30, 2023 13:31 51s highprecision
highprecision
October 30, 2023 13:31 51s
Fix LSP tests and PO error messages Linux test with Maven #1003: Commit 4d0ee00 pushed by nickbattle
October 30, 2023 12:23 1m 9s master
master
October 30, 2023 12:23 1m 9s
Merge branch 'master' into highprecision Linux test with Maven #1002: Commit c42d92b pushed by nickbattle
October 30, 2023 12:23 54s highprecision
highprecision
October 30, 2023 12:23 54s
Update POPlugin to send notifications correctly, and lsp.sh Linux test with Maven #1000: Commit b58c0bb pushed by nickbattle
October 29, 2023 22:55 46s master
master
October 29, 2023 22:55 46s
Merge branch 'master' into highprecision Linux test with Maven #1001: Commit 9e2cb7e pushed by nickbattle
October 29, 2023 22:55 53s highprecision
highprecision
October 29, 2023 22:55 53s
Tidy PO listing and subtype obligation tweak Linux test with Maven #998: Commit 7ca363c pushed by nickbattle
October 28, 2023 19:05 53s master
master
October 28, 2023 19:05 53s
Merge branch 'master' into highprecision Linux test with Maven #999: Commit d3943fb pushed by nickbattle
October 28, 2023 19:05 1m 4s highprecision
highprecision
October 28, 2023 19:05 1m 4s