Skip to content

Actions: nickbattle/vdmj

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow run results
60 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add PO countermessage Linux test with Maven #973: Commit 64e5290 pushed by nickbattle
October 19, 2023 15:41 55s master
master
October 19, 2023 15:41 55s
Merge branch 'master' into highprecision Linux test with Maven #970: Commit 8c19a74 pushed by nickbattle
October 19, 2023 08:51 1m 4s highprecision
highprecision
October 19, 2023 08:51 1m 4s
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
Updated TODO Linux test with Maven #971: Commit 1d08104 pushed by nickbattle
October 19, 2023 08:51 47s master
master
October 19, 2023 08:51 47s
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
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
Clean polymorphic getProofObligations Linux test with Maven #968: Commit db1bc1a pushed by nickbattle
October 18, 2023 14:02 1m 0s master
master
October 18, 2023 14:02 1m 0s
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
Merge branch 'master' into highprecision Linux test with Maven #969: Commit 8095085 pushed by nickbattle
October 18, 2023 14:02 59s highprecision
highprecision
October 18, 2023 14:02 59s