Skip to content

Actions: nickbattle/vdmj

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
More range creator defences Linux test with Maven #963: Commit eaeceb0 pushed by nickbattle
September 16, 2023 15:19 59s master
master
September 16, 2023 15:19 59s
More range creator defences Windows test with Maven #931: Commit eaeceb0 pushed by nickbattle
September 16, 2023 15:19 1m 30s master
master
September 16, 2023 15:19 1m 30s
Merge branch 'master' into highprecision Windows test with Maven #932: Commit d78ad2f pushed by nickbattle
September 16, 2023 15:19 1m 33s highprecision
highprecision
September 16, 2023 15:19 1m 33s
Merge branch 'master' into highprecision Linux test with Maven #964: Commit d78ad2f pushed by nickbattle
September 16, 2023 15:19 1m 1s highprecision
highprecision
September 16, 2023 15:19 1m 1s
Correct INTypeSizeVisitor for HP Linux test with Maven #961: Commit a2bfdfd pushed by nickbattle
September 16, 2023 13:49 47s highprecision
highprecision
September 16, 2023 13:49 47s
Correct INTypeSizeVisitor for HP Windows test with Maven #929: Commit a2bfdfd pushed by nickbattle
September 16, 2023 13:49 1m 26s highprecision
highprecision
September 16, 2023 13:49 1m 26s
Show QC VDM stacks and add defences to range creators Linux test with Maven #962: Commit 7d3bda9 pushed by nickbattle
September 16, 2023 13:49 53s master
master
September 16, 2023 13:49 53s
Show QC VDM stacks and add defences to range creators Windows test with Maven #930: Commit 7d3bda9 pushed by nickbattle
September 16, 2023 13:49 1m 27s master
master
September 16, 2023 13:49 1m 27s
Small fixes to TC for POG of SL examples Windows test with Maven #927: Commit e08a614 pushed by nickbattle
September 16, 2023 13:45 1m 33s master
master
September 16, 2023 13:45 1m 33s
Small fixes to TC for POG of SL examples Linux test with Maven #959: Commit e08a614 pushed by nickbattle
September 16, 2023 13:45 58s master
master
September 16, 2023 13:45 58s
Merge branch 'master' into highprecision Linux test with Maven #960: Commit a85b5fa pushed by nickbattle
September 16, 2023 13:45 47s highprecision
highprecision
September 16, 2023 13:45 47s
Merge branch 'master' into highprecision Windows test with Maven #928: Commit a85b5fa pushed by nickbattle
September 16, 2023 13:45 1m 57s highprecision
highprecision
September 16, 2023 13:45 1m 57s
Fix for range creators with single field records Windows test with Maven #925: Commit d039db6 pushed by nickbattle
September 12, 2023 16:31 1m 50s master
master
September 12, 2023 16:31 1m 50s
Fix for range creators with single field records Linux test with Maven #957: Commit d039db6 pushed by nickbattle
September 12, 2023 16:31 55s master
master
September 12, 2023 16:31 55s
Merge branch 'master' into highprecision Windows test with Maven #926: Commit 4d585cd pushed by nickbattle
September 12, 2023 16:31 1m 25s highprecision
highprecision
September 12, 2023 16:31 1m 25s