Skip to content

Actions: nickbattle/vdmj

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
580 workflow runs
580 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into highprecision Windows test with Maven #954: Commit c784ff3 pushed by nickbattle
October 23, 2023 08:58 1m 50s highprecision
highprecision
October 23, 2023 08:58 1m 50s
Merge branch 'master' into highprecision Linux test with Maven #986: Commit c784ff3 pushed by nickbattle
October 23, 2023 08:58 53s highprecision
highprecision
October 23, 2023 08:58 53s
Don't display prover strategy Windows test with Maven #953: Commit d8e6a19 pushed by nickbattle
October 23, 2023 08:41 1m 51s master
master
October 23, 2023 08:41 1m 51s
Merge branch 'master' into highprecision Linux test with Maven #985: Commit 596f7d2 pushed by nickbattle
October 23, 2023 08:41 55s highprecision
highprecision
October 23, 2023 08:41 55s
Merge branch 'master' into highprecision Windows test with Maven #952: Commit 596f7d2 pushed by nickbattle
October 23, 2023 08:41 1m 52s highprecision
highprecision
October 23, 2023 08:41 1m 52s
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
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
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
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
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
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
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
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
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 #979: Commit 24f5bf1 pushed by nickbattle
October 20, 2023 15:27 48s highprecision
highprecision
October 20, 2023 15:27 48s
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
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
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
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 #977: Commit 56f4398 pushed by nickbattle
October 19, 2023 21:35 57s highprecision
highprecision
October 19, 2023 21:35 57s
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
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
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
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
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-19 or the other filters available.