Skip to content

Actions: JonathanSalwan/Triton

Tests on Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update readme
Tests on Linux #912: Commit 05428e4 pushed by JonathanSalwan
August 15, 2023 18:02 1h 13m 14s master
August 15, 2023 18:02 1h 13m 14s
Update readme
Tests on Linux #911: Commit 05428e4 pushed by JonathanSalwan
August 15, 2023 18:01 30m 47s dev-v1.0
August 15, 2023 18:01 30m 47s
Update readme
Tests on Linux #910: Commit 03223bc pushed by JonathanSalwan
August 15, 2023 11:54 1h 32m 29s dev-v1.0
August 15, 2023 11:54 1h 32m 29s
Update readme
Tests on Linux #909: Commit 937a94c pushed by JonathanSalwan
August 15, 2023 11:52 1h 5m 47s dev-v1.0
August 15, 2023 11:52 1h 5m 47s
Update readme
Tests on Linux #908: Commit d4b0208 pushed by JonathanSalwan
August 15, 2023 11:49 26m 24s dev-v1.0
August 15, 2023 11:49 26m 24s
Merge pull request #1263 from cnheitman/feature/upgrade-bitwuzla
Tests on Linux #907: Commit 6125300 pushed by JonathanSalwan
August 12, 2023 17:54 47m 22s dev-v1.0
August 12, 2023 17:54 47m 22s
Upgrade Bitwuzla to v0.1.0
Tests on Linux #906: Pull request #1263 synchronize by cnheitman
August 11, 2023 18:33 1m 18s cnheitman:feature/upgrade-bitwuzla
August 11, 2023 18:33 1m 18s
Fix appveyor workflow
Tests on Linux #905: Commit b372749 pushed by cnheitman
August 11, 2023 14:20 43m 29s fix/fix-appveyor
August 11, 2023 14:20 43m 29s
Fix appveyor workflow
Tests on Linux #904: Commit 244442c pushed by cnheitman
August 11, 2023 14:17 1m 25s fix/fix-appveyor
August 11, 2023 14:17 1m 25s
Upgrade Bitwuzla to v0.1.0
Tests on Linux #903: Pull request #1263 synchronize by cnheitman
August 10, 2023 17:54 40m 8s cnheitman:feature/upgrade-bitwuzla
August 10, 2023 17:54 40m 8s
Upgrade Bitwuzla to v0.1.0
Tests on Linux #902: Pull request #1263 synchronize by cnheitman
August 10, 2023 17:51 4m 34s cnheitman:feature/upgrade-bitwuzla
August 10, 2023 17:51 4m 34s
Upgrade Bitwuzla to v0.1.0
Tests on Linux #901: Pull request #1263 synchronize by cnheitman
August 8, 2023 19:50 1h 6m 55s cnheitman:feature/upgrade-bitwuzla
August 8, 2023 19:50 1h 6m 55s
Fix CMake file
Tests on Linux #900: Commit 3e868f9 pushed by cnheitman
August 8, 2023 19:48 52m 38s dev-v1.0
August 8, 2023 19:48 52m 38s
Switch to the FindPython3 package
Tests on Linux #899: Commit f2705b7 pushed by cnheitman
August 8, 2023 19:46 4m 15s dev-v1.0
August 8, 2023 19:46 4m 15s
Upgrade Bitwuzla to v0.1.0
Tests on Linux #898: Pull request #1263 synchronize by cnheitman
August 8, 2023 15:07 49m 44s cnheitman:feature/upgrade-bitwuzla
August 8, 2023 15:07 49m 44s
Enable parallel builds for msvc
Tests on Linux #897: Commit 1f00afe pushed by cnheitman
August 8, 2023 14:54 43m 20s dev-v1.0
August 8, 2023 14:54 43m 20s
Upgrade Bitwuzla to v0.1.0
Tests on Linux #896: Pull request #1263 synchronize by cnheitman
August 7, 2023 18:29 5m 0s cnheitman:feature/upgrade-bitwuzla
August 7, 2023 18:29 5m 0s
Upgrade Bitwuzla to v0.1.0
Tests on Linux #895: Pull request #1263 synchronize by cnheitman
August 7, 2023 17:29 5m 8s cnheitman:feature/upgrade-bitwuzla
August 7, 2023 17:29 5m 8s
Fix ASR instruction (AArch64)
Tests on Linux #894: Commit 87b0830 pushed by cnheitman
August 2, 2023 13:17 44m 7s dev-v1.0
August 2, 2023 13:17 44m 7s
Enable parallel builds for msvc
Tests on Linux #893: Pull request #1266 synchronize by ZehMatt
July 30, 2023 11:45 26m 52s ZehMatt:msvc-parallel-build
July 30, 2023 11:45 26m 52s
Enable parallel builds for msvc
Tests on Linux #892: Pull request #1266 opened by ZehMatt
July 29, 2023 21:32 1m 45s ZehMatt:msvc-parallel-build
July 29, 2023 21:32 1m 45s
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
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
July 13, 2023 19:40 25m 15s
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
July 13, 2023 16:14 27m 11s