Skip to content

Actions: nickbattle/vdmj

Actions

Linux test with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven_linux.yml
158 workflow runs
158 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Dref native library arguments Linux test with Maven #1410: Commit 657d96d pushed by nickbattle
1m 37s master
master
1m 37s
Merge branch 'master' into highprecision Linux test with Maven #1409: Commit 0c4217a pushed by nickbattle
1m 39s highprecision
highprecision
1m 39s
Merge branch 'master' into highprecision Linux test with Maven #1408: Commit 1d80272 pushed by nickbattle
1m 34s highprecision
highprecision
1m 34s
Update to 4.7.0 on master Linux test with Maven #1407: Commit 2063245 pushed by nickbattle
1m 39s master
master
1m 39s
Allow named measure functions Linux test with Maven #1406: Commit 7bfef55 pushed by nickbattle
1m 38s master
master
1m 38s
Merge branch 'master' into highprecision Linux test with Maven #1405: Commit c1f3637 pushed by nickbattle
1m 39s highprecision
highprecision
1m 39s
Always create loop ghost, for default invariant Linux test with Maven #1404: Commit 9d781b6 pushed by nickbattle
1m 40s master
master
1m 40s
Merge branch 'master' into highprecision Linux test with Maven #1403: Commit b7cd8ed pushed by nickbattle
1m 41s highprecision
highprecision
1m 41s
Merge branch 'master' into highprecision Linux test with Maven #1402: Commit 2def4c1 pushed by nickbattle
1m 37s highprecision
highprecision
1m 37s
More robust func bp name comparison Linux test with Maven #1401: Commit 45c1247 pushed by nickbattle
1m 41s master
master
1m 41s
Remove ignoreNextChange notification Linux test with Maven #1400: Commit 6c9d23d pushed by nickbattle
1m 28s master
master
1m 28s
Merge branch 'master' into highprecision Linux test with Maven #1399: Commit 2fd8765 pushed by nickbattle
1m 37s highprecision
highprecision
1m 37s
Updated User Guide for pogdep example Linux test with Maven #1398: Commit 58ba369 pushed by nickbattle
1m 29s master
master
1m 29s
Merge branch 'master' into highprecision Linux test with Maven #1397: Commit f4c40ba pushed by nickbattle
1m 37s highprecision
highprecision
1m 37s
Merge branch 'master' into highprecision Linux test with Maven #1396: Commit 1d91ba3 pushed by nickbattle
1m 43s highprecision
highprecision
1m 43s
QC fix for exception location Linux test with Maven #1395: Commit 49c2623 pushed by nickbattle
1m 35s master
master
1m 35s
Send updated LSP explanation after QC Linux test with Maven #1394: Commit 82cf950 pushed by nickbattle
1m 36s master
master
1m 36s
Merge branch 'master' into highprecision Linux test with Maven #1393: Commit c4389ae pushed by nickbattle
1m 37s highprecision
highprecision
1m 37s
Merge branch 'master' into highprecision Linux test with Maven #1392: Commit 4bd9026 pushed by nickbattle
1m 52s highprecision
highprecision
1m 52s
Use VariableExpression.original for toStrings Linux test with Maven #1391: Commit ede4682 pushed by nickbattle
1m 40s master
master
1m 40s
Tidy varname toStrings Linux test with Maven #1390: Commit 751da05 pushed by nickbattle
1m 31s master
master
1m 31s
Merge branch 'master' into highprecision Linux test with Maven #1389: Commit 8b1604b pushed by nickbattle
1m 34s highprecision
highprecision
1m 34s
Merge branch 'master' into highprecision Linux test with Maven #1388: Commit e75cb55 pushed by nickbattle
1m 49s highprecision
highprecision
1m 49s
Renamed TCRecursiveLoops and simplified Linux test with Maven #1387: Commit 6da3285 pushed by nickbattle
1m 43s master
master
1m 43s
Sketch a context analysis for PO stacks Linux test with Maven #1386: Commit 1d0d593 pushed by nickbattle
1m 32s master
master
1m 32s