Skip to content

Actions: nickbattle/vdmj

Actions

Linux test with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven_linux.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 Linux test with Maven #997: Commit ccebdf6 pushed by nickbattle
October 27, 2023 22:12 1m 3s master
master
October 27, 2023 22:12 1m 3s
Merge branch 'master' into highprecision Linux test with Maven #996: Commit f3342df pushed by nickbattle
October 27, 2023 22:12 50s highprecision
highprecision
October 27, 2023 22:12 50s
Fix -t command for LSP Linux test with Maven #994: Commit eb4e075 pushed by nickbattle
October 27, 2023 21:49 51s master
master
October 27, 2023 21:49 51s
Merge branch 'master' into highprecision Linux test with Maven #995: Commit c8f9d33 pushed by nickbattle
October 27, 2023 21:49 1m 0s highprecision
highprecision
October 27, 2023 21:49 1m 0s
Merge branch 'master' into highprecision Linux test with Maven #993: Commit 2e886f7 pushed by nickbattle
October 27, 2023 21:24 49s highprecision
highprecision
October 27, 2023 21:24 49s
Added timeouts to QC and removed bind limiting Linux test with Maven #992: Commit c23a675 pushed by nickbattle
October 27, 2023 21:24 46s master
master
October 27, 2023 21:24 46s
Merge branch 'master' into highprecision Linux test with Maven #991: Commit b1a971b pushed by nickbattle
October 24, 2023 10:14 56s highprecision
highprecision
October 24, 2023 10:14 56s
ParameterType fixes for QC Linux test with Maven #990: Commit ced3e85 pushed by nickbattle
October 24, 2023 10:14 52s master
master
October 24, 2023 10:14 52s
Rename StrategyResults and tidy Linux test with Maven #988: Commit ad888cc pushed by nickbattle
October 23, 2023 19:20 59s master
master
October 23, 2023 19:20 59s
Merge branch 'master' into highprecision Linux test with Maven #989: Commit 1bc2b8a pushed by nickbattle
October 23, 2023 19:20 1m 1s highprecision
highprecision
October 23, 2023 19:20 1m 1s
Fix POG test for maximal Linux test with Maven #987: Commit 8e45c1f pushed by nickbattle
October 23, 2023 08:58 51s master
master
October 23, 2023 08:58 51s
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
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
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
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 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 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 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 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 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 Linux test with Maven #974: Commit 9cb31bd pushed by nickbattle
October 19, 2023 16:33 55s master
master
October 19, 2023 16:33 55s
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