Skip to content

Actions: nickbattle/vdmj

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow run results
150 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update VDMUtil source for PP and RT, and untweak Java Windows test with Maven #988: Commit c9fa031 pushed by nickbattle
November 6, 2023 14:41 2m 5s master
master
November 6, 2023 14:41 2m 5s
Merge branch 'master' into highprecision Windows test with Maven #989: Commit c7094ff pushed by nickbattle
November 6, 2023 14:41 1m 55s highprecision
highprecision
November 6, 2023 14:41 1m 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
Fix POType existential for inv satisfiability Windows test with Maven #986: Commit 8108dc6 pushed by nickbattle
November 5, 2023 22:41 1m 28s master
master
November 5, 2023 22:41 1m 28s
Merge branch 'master' into highprecision Windows test with Maven #987: Commit 1b28f8a pushed by nickbattle
November 5, 2023 22:41 1m 31s highprecision
highprecision
November 5, 2023 22:41 1m 31s
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 Windows test with Maven #985: Commit d5e1332 pushed by nickbattle
November 5, 2023 21:42 1m 7s master
master
November 5, 2023 21:42 1m 7s
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
Merge branch 'master' into highprecision Windows test with Maven #984: Commit 7de6e54 pushed by nickbattle
November 5, 2023 21:42 2m 9s highprecision
highprecision
November 5, 2023 21:42 2m 9s
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 Windows test with Maven #983: Commit 119655f pushed by nickbattle
November 3, 2023 17:46 1m 56s highprecision
highprecision
November 3, 2023 17:46 1m 56s
Tidy QC error output Windows test with Maven #982: Commit 36931ad pushed by nickbattle
November 3, 2023 17:46 1m 14s master
master
November 3, 2023 17:46 1m 14s
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
Remove vscode.sh and add vsix.sh Windows test with Maven #981: Commit 17f5ae9 pushed by nickbattle
November 1, 2023 21:08 1m 57s master
master
November 1, 2023 21:08 1m 57s
Merge branch 'master' into highprecision Windows test with Maven #980: Commit 224dee8 pushed by nickbattle
November 1, 2023 21:08 1m 57s highprecision
highprecision
November 1, 2023 21:08 1m 57s
Merge branch 'master' into highprecision Windows test with Maven #978: Commit 722e150 pushed by nickbattle
October 31, 2023 19:16 2m 0s highprecision
highprecision
October 31, 2023 19:16 2m 0s
Send POG updated notification from ScriptRunnable Windows test with Maven #979: Commit 3b0945b pushed by nickbattle
October 31, 2023 19:16 1m 43s master
master
October 31, 2023 19:16 1m 43s
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