Skip to content

Actions: nickbattle/vdmj

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merged with master Linux test with Maven #967: Commit 7d66625 pushed by nickbattle
September 25, 2023 16:32 1m 0s highprecision
highprecision
September 25, 2023 16:32 1m 0s
Merged with master Windows test with Maven #935: Commit 7d66625 pushed by nickbattle
September 25, 2023 16:32 4m 39s highprecision
highprecision
September 25, 2023 16:32 4m 39s
Fix multiTypeBinds with polymorphic types Linux test with Maven #965: Commit dad6af7 pushed by nickbattle
September 24, 2023 20:07 56s master
master
September 24, 2023 20:07 56s
Fix multiTypeBinds with polymorphic types Windows test with Maven #933: Commit dad6af7 pushed by nickbattle
September 24, 2023 20:07 3m 19s master
master
September 24, 2023 20:07 3m 19s
Merge branch 'master' into highprecision Windows test with Maven #934: Commit 78988d2 pushed by nickbattle
September 24, 2023 20:07 4m 50s highprecision
highprecision
September 24, 2023 20:07 4m 50s
Merge branch 'master' into highprecision Linux test with Maven #966: Commit 78988d2 pushed by nickbattle
September 24, 2023 20:07 53s highprecision
highprecision
September 24, 2023 20:07 53s