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 #1004: Commit c4c6122 pushed by nickbattle
November 25, 2023 12:48 1m 21s highprecision
highprecision
November 25, 2023 12:48 1m 21s
Merge branch 'master' into highprecision Windows test with Maven #1003: Commit 1f0ca57 pushed by nickbattle
November 24, 2023 20:05 1m 14s highprecision
highprecision
November 24, 2023 20:05 1m 14s
Added VSCode qcrun command Windows test with Maven #1002: Commit 64439ab pushed by nickbattle
November 24, 2023 20:05 1m 16s master
master
November 24, 2023 20:05 1m 16s
Real/rational tidy up for hp Windows test with Maven #1001: Commit 660a070 pushed by nickbattle
November 14, 2023 11:15 1m 30s highprecision
highprecision
November 14, 2023 11:15 1m 30s
Define PO definition for some more obligations Windows test with Maven #1000: Commit f32210b pushed by nickbattle
November 14, 2023 11:15 1m 19s master
master
November 14, 2023 11:15 1m 19s
Change witness to be a Context and tidy Windows test with Maven #999: Commit 70e16b6 pushed by nickbattle
November 11, 2023 17:17 1m 55s master
master
November 11, 2023 17:17 1m 55s
Merge branch 'master' into highprecision Windows test with Maven #998: Commit bb94db1 pushed by nickbattle
November 11, 2023 17:17 1m 10s highprecision
highprecision
November 11, 2023 17:17 1m 10s
Merge branch 'master' into highprecision Windows test with Maven #997: Commit 3fbdc16 pushed by nickbattle
November 10, 2023 10:03 1m 13s highprecision
highprecision
November 10, 2023 10:03 1m 13s
Only allow breakpoint entry from SchedulableThreads Windows test with Maven #996: Commit b91a1e4 pushed by nickbattle
November 10, 2023 10:03 1m 4s master
master
November 10, 2023 10:03 1m 4s
Merge branch 'master' into highprecision Windows test with Maven #995: Commit d8d8ba6 pushed by nickbattle
November 7, 2023 21:16 1m 13s highprecision
highprecision
November 7, 2023 21:16 1m 13s
Set the interpreter default module/class from PO location Windows test with Maven #994: Commit 5bf2252 pushed by nickbattle
November 7, 2023 21:16 1m 13s master
master
November 7, 2023 21:16 1m 13s
Use PO.hasCorrelatedBinds and suppress function generation in creators Windows test with Maven #993: Commit 7c0c8b4 pushed by nickbattle
November 7, 2023 19:53 1m 48s master
master
November 7, 2023 19:53 1m 48s
Fix some BigInteger stuff Windows test with Maven #992: Commit cec3a1e pushed by nickbattle
November 7, 2023 19:53 1m 25s highprecision
highprecision
November 7, 2023 19:53 1m 25s
Deal with delete/rename of external files with errs/warns Windows test with Maven #991: Commit 4f5ebfe pushed by nickbattle
November 7, 2023 11:38 1m 31s master
master
November 7, 2023 11:38 1m 31s
Merge branch 'master' into highprecision Windows test with Maven #990: Commit d8cf40e pushed by nickbattle
November 7, 2023 11:38 1m 12s highprecision
highprecision
November 7, 2023 11:38 1m 12s
Merge branch 'master' into highprecision Windows test with Maven #989: Commit c7094ff pushed by nickbattle
November 6, 2023 14:41 1m 55s highprecision
highprecision
November 6, 2023 14:41 1m 55s
Update VDMUtil source for PP and RT, and untweak Java Windows test with Maven #988: Commit c9fa031 pushed by nickbattle
November 6, 2023 14:41 2m 5s master
master
November 6, 2023 14:41 2m 5s
Merge branch 'master' into highprecision Windows test with Maven #987: Commit 1b28f8a pushed by nickbattle
November 5, 2023 22:41 1m 31s highprecision
highprecision
November 5, 2023 22:41 1m 31s
Fix POType existential for inv satisfiability Windows test with Maven #986: Commit 8108dc6 pushed by nickbattle
November 5, 2023 22:41 1m 28s master
master
November 5, 2023 22:41 1m 28s
Treat 'not yet specified' encounter as a MAYBE Windows test with Maven #985: Commit d5e1332 pushed by nickbattle
November 5, 2023 21:42 1m 7s master
master
November 5, 2023 21:42 1m 7s
Merge branch 'master' into highprecision Windows test with Maven #984: Commit 7de6e54 pushed by nickbattle
November 5, 2023 21:42 2m 9s highprecision
highprecision
November 5, 2023 21:42 2m 9s
Merge branch 'master' into highprecision Windows test with Maven #983: Commit 119655f pushed by nickbattle
November 3, 2023 17:46 1m 56s highprecision
highprecision
November 3, 2023 17:46 1m 56s
Tidy QC error output Windows test with Maven #982: Commit 36931ad pushed by nickbattle
November 3, 2023 17:46 1m 14s master
master
November 3, 2023 17:46 1m 14s
Remove vscode.sh and add vsix.sh Windows test with Maven #981: Commit 17f5ae9 pushed by nickbattle
November 1, 2023 21:08 1m 57s master
master
November 1, 2023 21:08 1m 57s
Merge branch 'master' into highprecision Windows test with Maven #980: Commit 224dee8 pushed by nickbattle
November 1, 2023 21:08 1m 57s highprecision
highprecision
November 1, 2023 21:08 1m 57s