Skip to content

Actions: nickbattle/vdmj

Actions

Windows test with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven_windows.yml
30 workflow run results
30 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set enclosing definition for thread definitions Windows test with Maven #965: Commit ccebdf6 pushed by nickbattle
October 27, 2023 22:12 1m 40s master
master
October 27, 2023 22:12 1m 40s
Merge branch 'master' into highprecision Windows test with Maven #964: Commit f3342df pushed by nickbattle
October 27, 2023 22:12 1m 29s highprecision
highprecision
October 27, 2023 22:12 1m 29s
Merge branch 'master' into highprecision Windows test with Maven #963: Commit c8f9d33 pushed by nickbattle
October 27, 2023 21:49 1m 19s highprecision
highprecision
October 27, 2023 21:49 1m 19s
Fix -t command for LSP Windows test with Maven #962: Commit eb4e075 pushed by nickbattle
October 27, 2023 21:49 1m 53s master
master
October 27, 2023 21:49 1m 53s
Added timeouts to QC and removed bind limiting Windows test with Maven #960: Commit c23a675 pushed by nickbattle
October 27, 2023 21:24 1m 37s master
master
October 27, 2023 21:24 1m 37s
Merge branch 'master' into highprecision Windows test with Maven #961: Commit 2e886f7 pushed by nickbattle
October 27, 2023 21:24 1m 54s highprecision
highprecision
October 27, 2023 21:24 1m 54s
ParameterType fixes for QC Windows test with Maven #959: Commit ced3e85 pushed by nickbattle
October 24, 2023 10:14 1m 39s master
master
October 24, 2023 10:14 1m 39s
Merge branch 'master' into highprecision Windows test with Maven #958: Commit b1a971b pushed by nickbattle
October 24, 2023 10:14 1m 52s highprecision
highprecision
October 24, 2023 10:14 1m 52s
Merge branch 'master' into highprecision Windows test with Maven #957: Commit 1bc2b8a pushed by nickbattle
October 23, 2023 19:20 1m 55s highprecision
highprecision
October 23, 2023 19:20 1m 55s
Rename StrategyResults and tidy Windows test with Maven #956: Commit ad888cc pushed by nickbattle
October 23, 2023 19:20 1m 53s master
master
October 23, 2023 19:20 1m 53s
Fix POG test for maximal Windows test with Maven #955: Commit 8e45c1f pushed by nickbattle
October 23, 2023 08:58 1m 54s master
master
October 23, 2023 08:58 1m 54s
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
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
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 #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
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 #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 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
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