Skip to content

Actions: ge-high-assurance/VERDICT

Actions

VERDICT Main Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump org.assertj:assertj-core from 3.25.3 to 3.26.0 in /tools VERDICT Main Workflow #511: Commit 344e42b pushed by tuxji
May 27, 2024 12:54 12m 33s master
master
May 27, 2024 12:54 12m 33s
Bump version.tycho from 4.0.7 to 4.0.8 in /tools VERDICT Main Workflow #510: Commit fb95f75 pushed by tuxji
May 27, 2024 12:54 14m 50s master
master
May 27, 2024 12:54 14m 50s
Bump commons-cli:commons-cli from 1.7.0 to 1.8.0 in /tools VERDICT Main Workflow #509: Commit cd77efc pushed by tuxji
May 24, 2024 12:27 13m 30s master
master
May 24, 2024 12:27 13m 30s
Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.8 to 0.3.9 in /tools VERDICT Main Workflow #508: Commit ae40454 pushed by tuxji
May 23, 2024 12:23 14m 26s master
master
May 23, 2024 12:23 14m 26s
--- VERDICT Main Workflow #507: Commit fa519a1 pushed by tuxji
May 22, 2024 13:15 17m 22s master
master
May 22, 2024 13:15 17m 22s
Bump com.github.ekryd.sortpom:sortpom-maven-plugin in /tools VERDICT Main Workflow #506: Commit e1094ba pushed by tuxji
May 20, 2024 12:20 12m 42s master
master
May 20, 2024 12:20 12m 42s
Bump actions/checkout from 4.1.5 to 4.1.6 VERDICT Main Workflow #505: Commit 4950d29 pushed by tuxji
May 17, 2024 12:42 19m 20s master
master
May 17, 2024 12:42 19m 20s
Bump version.micrometer from 1.12.6 to 1.13.0 in /tools VERDICT Main Workflow #504: Commit 7f314bd pushed by tuxji
May 15, 2024 12:54 14m 26s master
master
May 15, 2024 12:54 14m 26s
Bump version.micrometer from 1.12.5 to 1.12.6 in /tools VERDICT Main Workflow #503: Commit ada369f pushed by tuxji
May 13, 2024 11:54 12m 44s master
master
May 13, 2024 11:54 12m 44s
Bump softprops/action-gh-release from 2.0.4 to 2.0.5 VERDICT Main Workflow #502: Commit 69fdc21 pushed by tuxji
May 8, 2024 12:56 13m 5s master
master
May 8, 2024 12:56 13m 5s
Bump actions/checkout from 4.1.4 to 4.1.5 VERDICT Main Workflow #501: Commit 1356761 pushed by tuxji
May 7, 2024 12:50 17m 3s master
master
May 7, 2024 12:50 17m 3s
Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools VERDICT Main Workflow #500: Commit 2a04a00 pushed by tuxji
May 7, 2024 12:50 13m 24s master
master
May 7, 2024 12:50 13m 24s
Bump org.logicng:logicng from 2.4.1 to 2.5.0 in /tools VERDICT Main Workflow #499: Commit 84e2782 pushed by tuxji
May 2, 2024 12:20 17m 20s master
master
May 2, 2024 12:20 17m 20s
Bump org.xmlunit:xmlunit-assertj from 2.9.1 to 2.10.0 in /tools VERDICT Main Workflow #498: Commit 8fa80ed pushed by tuxji
April 29, 2024 13:24 12m 42s master
master
April 29, 2024 13:24 12m 42s
Bump org.apache.maven.plugins:maven-install-plugin in /tools VERDICT Main Workflow #497: Commit af84fae pushed by tuxji
April 29, 2024 13:24 13m 10s master
master
April 29, 2024 13:24 13m 10s
Bump org.apache.maven.plugins:maven-deploy-plugin in /tools VERDICT Main Workflow #496: Commit da01851 pushed by tuxji
April 29, 2024 13:24 13m 12s master
master
April 29, 2024 13:24 13m 12s
Bump ocaml/setup-ocaml from 2.2.8 to 2.2.9 VERDICT Main Workflow #495: Commit da30041 pushed by tuxji
April 29, 2024 13:24 19m 59s master
master
April 29, 2024 13:24 19m 59s
In Ubuntu 24.04, Dockerfile now needs to install adduser VERDICT Main Workflow #494: Commit 1306121 pushed by tuxji
April 26, 2024 13:37 18m 23s master
master
April 26, 2024 13:37 18m 23s
Fix osate P2 repository URL VERDICT Main Workflow #493: Commit 59b8647 pushed by tuxji
April 26, 2024 12:31 15m 23s master
master
April 26, 2024 12:31 15m 23s
Bump net.codesup.util:jaxb2-rich-contract-plugin in /tools VERDICT Main Workflow #492: Commit 72883d6 pushed by tuxji
April 26, 2024 12:30 9m 19s master
master
April 26, 2024 12:30 9m 19s
Bump ubuntu from 22.04 to 24.04 in /tools/verdict-back-ends VERDICT Main Workflow #491: Commit b2df124 pushed by tuxji
April 26, 2024 12:30 15m 29s master
master
April 26, 2024 12:30 15m 29s
Bump actions/download-artifact from 4.1.6 to 4.1.7 VERDICT Main Workflow #490: Commit 39bf235 pushed by tuxji
April 25, 2024 13:42 15m 28s master
master
April 25, 2024 13:42 15m 28s
Bump actions/checkout from 4.1.3 to 4.1.4 VERDICT Main Workflow #489: Commit 0a68fa4 pushed by tuxji
April 25, 2024 13:42 17m 13s master
master
April 25, 2024 13:42 17m 13s
Bump actions/upload-artifact from 4.3.2 to 4.3.3 VERDICT Main Workflow #488: Commit 68ba54c pushed by tuxji
April 23, 2024 13:06 11m 38s master
master
April 23, 2024 13:06 11m 38s
Bump actions/download-artifact from 4.1.5 to 4.1.6 VERDICT Main Workflow #487: Commit 836ea25 pushed by tuxji
April 23, 2024 13:05 9m 25s master
master
April 23, 2024 13:05 9m 25s