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

Don't display prover strategy Linux test with Maven #984: Commit d8e6a19 pushed by nickbattle
October 23, 2023 08:41 50s master
master
October 23, 2023 08:41 50s
Merge branch 'master' into highprecision Linux test with Maven #982: Commit a78de45 pushed by nickbattle
October 20, 2023 20:13 58s highprecision
highprecision
October 20, 2023 20:13 58s
Add vdmj.lifecycle property Linux test with Maven #983: Commit 32f0501 pushed by nickbattle
October 20, 2023 20:13 1m 1s master
master
October 20, 2023 20:13 1m 1s
Add vdmj.lifecycle property Windows test with Maven #951: Commit 32f0501 pushed by nickbattle
October 20, 2023 20:13 1m 28s master
master
October 20, 2023 20:13 1m 28s
Merge branch 'master' into highprecision Windows test with Maven #950: Commit a78de45 pushed by nickbattle
October 20, 2023 20:13 1m 35s highprecision
highprecision
October 20, 2023 20:13 1m 35s
Merge branch 'master' into highprecision Windows test with Maven #948: Commit 6ee3a7b pushed by nickbattle
October 20, 2023 18:12 1m 44s highprecision
highprecision
October 20, 2023 18:12 1m 44s
Merge branch 'master' into highprecision Linux test with Maven #980: Commit 6ee3a7b pushed by nickbattle
October 20, 2023 18:12 48s highprecision
highprecision
October 20, 2023 18:12 48s
Add VDMJUnitLifecycle Windows test with Maven #949: Commit 2b9c9b1 pushed by nickbattle
October 20, 2023 18:12 1m 43s master
master
October 20, 2023 18:12 1m 43s
Add VDMJUnitLifecycle Linux test with Maven #981: Commit 2b9c9b1 pushed by nickbattle
October 20, 2023 18:12 56s master
master
October 20, 2023 18:12 56s
Merge branch 'master' into highprecision Windows test with Maven #947: Commit 24f5bf1 pushed by nickbattle
October 20, 2023 15:27 1m 49s highprecision
highprecision
October 20, 2023 15:27 1m 49s
Merge branch 'master' into highprecision Linux test with Maven #979: Commit 24f5bf1 pushed by nickbattle
October 20, 2023 15:27 48s highprecision
highprecision
October 20, 2023 15:27 48s
Trivial tweak Windows test with Maven #946: Commit 661b9dc pushed by nickbattle
October 20, 2023 15:27 2m 0s master
master
October 20, 2023 15:27 2m 0s
Trivial tweak Linux test with Maven #978: Commit 661b9dc pushed by nickbattle
October 20, 2023 15:27 47s master
master
October 20, 2023 15:27 47s
Add trivial strategy Windows test with Maven #944: Commit ecb0c6a pushed by nickbattle
October 19, 2023 21:35 2m 11s master
master
October 19, 2023 21:35 2m 11s
Add trivial strategy Linux test with Maven #976: Commit ecb0c6a pushed by nickbattle
October 19, 2023 21:35 48s master
master
October 19, 2023 21:35 48s
Merge branch 'master' into highprecision Linux test with Maven #977: Commit 56f4398 pushed by nickbattle
October 19, 2023 21:35 57s highprecision
highprecision
October 19, 2023 21:35 57s
Merge branch 'master' into highprecision Windows test with Maven #945: Commit 56f4398 pushed by nickbattle
October 19, 2023 21:35 1m 47s highprecision
highprecision
October 19, 2023 21:35 1m 47s
Merge branch 'master' into highprecision Linux test with Maven #975: Commit 67d0756 pushed by nickbattle
October 19, 2023 16:33 59s highprecision
highprecision
October 19, 2023 16:33 59s
Merge branch 'master' into highprecision Windows test with Maven #943: Commit 67d0756 pushed by nickbattle
October 19, 2023 16:33 1m 50s highprecision
highprecision
October 19, 2023 16:33 1m 50s
Create default object for VDM++ QC execution Linux test with Maven #974: Commit 9cb31bd pushed by nickbattle
October 19, 2023 16:33 55s master
master
October 19, 2023 16:33 55s
Create default object for VDM++ QC execution Windows test with Maven #942: Commit 9cb31bd pushed by nickbattle
October 19, 2023 16:33 2m 9s master
master
October 19, 2023 16:33 2m 9s
Fix hp merge issue? Windows test with Maven #940: Commit e17ee73 pushed by nickbattle
October 19, 2023 15:41 1m 52s highprecision
highprecision
October 19, 2023 15:41 1m 52s
Fix hp merge issue? Linux test with Maven #972: Commit e17ee73 pushed by nickbattle
October 19, 2023 15:41 50s highprecision
highprecision
October 19, 2023 15:41 50s
Add PO countermessage Windows test with Maven #941: Commit 64e5290 pushed by nickbattle
October 19, 2023 15:41 2m 19s master
master
October 19, 2023 15:41 2m 19s
Add PO countermessage Linux test with Maven #973: Commit 64e5290 pushed by nickbattle
October 19, 2023 15:41 55s master
master
October 19, 2023 15:41 55s