Skip to content

Actions: ge-high-assurance/VERDICT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
340 workflow runs
340 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 actions/checkout from 4.1.4 to 4.1.5 VERDICT Integration Workflow #546: Pull request #607 opened by dependabot bot
May 7, 2024 11:51 3m 47s dependabot/github_actions/actions/checkout-4.1.5
dependabot/github_actions/actions/checkout-4.1.5
May 7, 2024 11:51 3m 47s
Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools VERDICT Integration Workflow #545: Pull request #606 opened by dependabot bot
May 7, 2024 11:41 3m 45s dependabot/maven/tools/edu.uiowa.cs.clc-kind2-java-api-0.3.8
dependabot/maven/tools/edu.uiowa.cs.clc-kind2-java-api-0.3.8
May 7, 2024 11:41 3m 45s
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.logicng:logicng from 2.4.1 to 2.5.0 in /tools VERDICT Integration Workflow #544: Pull request #605 opened by dependabot bot
May 2, 2024 11:11 3m 31s dependabot/maven/tools/org.logicng-logicng-2.5.0
dependabot/maven/tools/org.logicng-logicng-2.5.0
May 2, 2024 11:11 3m 31s
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
Bump org.xmlunit:xmlunit-assertj from 2.9.1 to 2.10.0 in /tools VERDICT Integration Workflow #543: Pull request #604 opened by dependabot bot
April 29, 2024 11:50 4m 8s dependabot/maven/tools/org.xmlunit-xmlunit-assertj-2.10.0
dependabot/maven/tools/org.xmlunit-xmlunit-assertj-2.10.0
April 29, 2024 11:50 4m 8s
Bump org.apache.maven.plugins:maven-install-plugin from 3.1.1 to 3.1.2 in /tools VERDICT Integration Workflow #542: Pull request #603 opened by dependabot bot
April 29, 2024 11:50 4m 20s dependabot/maven/tools/org.apache.maven.plugins-maven-install-plugin-3.1.2
dependabot/maven/tools/org.apache.maven.plugins-maven-install-plugin-3.1.2
April 29, 2024 11:50 4m 20s
Bump org.apache.maven.plugins:maven-deploy-plugin from 3.1.1 to 3.1.2 in /tools VERDICT Integration Workflow #541: Pull request #602 opened by dependabot bot
April 29, 2024 11:49 4m 35s dependabot/maven/tools/org.apache.maven.plugins-maven-deploy-plugin-3.1.2
dependabot/maven/tools/org.apache.maven.plugins-maven-deploy-plugin-3.1.2
April 29, 2024 11:49 4m 35s
Bump ocaml/setup-ocaml from 2.2.8 to 2.2.9 VERDICT Integration Workflow #540: Pull request #601 opened by dependabot bot
April 29, 2024 11:18 3m 55s dependabot/github_actions/ocaml/setup-ocaml-2.2.9
dependabot/github_actions/ocaml/setup-ocaml-2.2.9
April 29, 2024 11:18 3m 55s
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 net.codesup.util:jaxb2-rich-contract-plugin from 4.1.0 to 4.1.1 in /tools VERDICT Integration Workflow #539: Pull request #600 opened by dependabot bot
April 26, 2024 11:23 58s dependabot/maven/tools/net.codesup.util-jaxb2-rich-contract-plugin-4.1.1
dependabot/maven/tools/net.codesup.util-jaxb2-rich-contract-plugin-4.1.1
April 26, 2024 11:23 58s
Bump ubuntu from 22.04 to 24.04 in /tools/verdict-back-ends VERDICT Integration Workflow #538: Pull request #599 opened by dependabot bot
April 26, 2024 11:20 1m 0s dependabot/docker/tools/verdict-back-ends/ubuntu-24.04
dependabot/docker/tools/verdict-back-ends/ubuntu-24.04
April 26, 2024 11:20 1m 0s
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/download-artifact from 4.1.6 to 4.1.7 VERDICT Integration Workflow #537: Pull request #598 opened by dependabot bot
April 25, 2024 11:31 1m 12s dependabot/github_actions/actions/download-artifact-4.1.7
dependabot/github_actions/actions/download-artifact-4.1.7
April 25, 2024 11:31 1m 12s
Bump actions/checkout from 4.1.3 to 4.1.4 VERDICT Integration Workflow #536: Pull request #597 opened by dependabot bot
April 25, 2024 11:31 1m 2s dependabot/github_actions/actions/checkout-4.1.4
dependabot/github_actions/actions/checkout-4.1.4
April 25, 2024 11:31 1m 2s
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