Skip to content

Actions: JonathanSalwan/Triton

Actions

Tests on Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade Bitwuzla to v0.1.0 Tests on Linux #891: Pull request #1263 opened by cnheitman
July 14, 2023 17:31 5m 13s cnheitman:feature/upgrade-bitwuzla
cnheitman:feature/upgrade-bitwuzla
July 14, 2023 17:31 5m 13s
Migrate from manylinux_2_24 to manylinux_2_28 Tests on Linux #890: Commit 5b59292 pushed by cnheitman
July 13, 2023 19:40 25m 15s dev-v1.0
dev-v1.0
July 13, 2023 19:40 25m 15s
Migrate from manylinux_2_24 to manylinux_2_28 Tests on Linux #889: Pull request #1262 opened by cnheitman
July 13, 2023 18:30 43m 3s cnheitman:feature/upgrade-wheel-docker
cnheitman:feature/upgrade-wheel-docker
July 13, 2023 18:30 43m 3s
Set Bitwuzla version to latest before v0.1.0 Tests on Linux #888: Commit 0859994 pushed by cnheitman
July 13, 2023 16:14 27m 11s dev-v1.0
dev-v1.0
July 13, 2023 16:14 27m 11s
Set Bitwuzla version to latest before v0.1.0 Tests on Linux #887: Pull request #1261 opened by cnheitman
July 13, 2023 14:31 26m 38s cnheitman:feature/update-workflows
cnheitman:feature/update-workflows
July 13, 2023 14:31 26m 38s
Fix Dockerfile Tests on Linux #886: Commit 896de39 pushed by cnheitman
July 5, 2023 12:36 25m 47s dev-v1.0
dev-v1.0
July 5, 2023 12:36 25m 47s
Fix GitHub workflows Tests on Linux #885: Pull request #1258 opened by cnheitman
July 4, 2023 19:39 25m 59s cnheitman:fix/github-workflow
cnheitman:fix/github-workflow
July 4, 2023 19:39 25m 59s