Skip to content

Actions: nickbattle/vdmj

Actions

Windows test with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven_windows.yml
269 workflow runs
269 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
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 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
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
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 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 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 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
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
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
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
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
Updated TODO Windows test with Maven #939: Commit 1d08104 pushed by nickbattle
October 19, 2023 08:51 1m 34s master
master
October 19, 2023 08:51 1m 34s
Merge branch 'master' into highprecision Windows test with Maven #938: Commit 8c19a74 pushed by nickbattle
October 19, 2023 08:51 1m 35s highprecision
highprecision
October 19, 2023 08:51 1m 35s
Merge branch 'master' into highprecision Windows test with Maven #937: Commit 8095085 pushed by nickbattle
October 18, 2023 14:02 1m 46s highprecision
highprecision
October 18, 2023 14:02 1m 46s
Clean polymorphic getProofObligations Windows test with Maven #936: Commit db1bc1a pushed by nickbattle
October 18, 2023 14:02 2m 8s master
master
October 18, 2023 14:02 2m 8s
ProTip! You can narrow down the results and go further in time using created:<2023-10-18 or the other filters available.