Skip to content

Actions: JonathanSalwan/Triton

Actions

Test the code coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codecov.yml
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1289 from cnheitman/fix/fix-bitwuzla-translation Test the code coverage #847: Commit adbc863 pushed by JonathanSalwan
September 30, 2023 10:42 47m 29s dev-v1.0
dev-v1.0
September 30, 2023 10:42 47m 29s
Fix Bitwuzla VARIABLE_NODE translation Test the code coverage #846: Pull request #1289 opened by cnheitman
September 29, 2023 17:39 51m 13s cnheitman:fix/fix-bitwuzla-translation
cnheitman:fix/fix-bitwuzla-translation
September 29, 2023 17:39 51m 13s
Dev v1.0 Test the code coverage #845: Pull request #1288 synchronize by cctv130
September 24, 2023 00:14 46m 46s dev-v1.0
dev-v1.0
September 24, 2023 00:14 46m 46s
Dev v1.0 Test the code coverage #844: Pull request #1288 synchronize by cctv130
September 23, 2023 13:32 47m 11s dev-v1.0
dev-v1.0
September 23, 2023 13:32 47m 11s
Merge pull request #1286 from cnheitman/feature/upgrade-bitwuzla Test the code coverage #842: Commit 8a6ee2f pushed by JonathanSalwan
September 14, 2023 18:11 49m 46s dev-v1.0
dev-v1.0
September 14, 2023 18:11 49m 46s
Upgrade Bitwuzla to version 0.2.0 Test the code coverage #841: Pull request #1286 opened by cnheitman
September 13, 2023 19:19 52m 20s cnheitman:feature/upgrade-bitwuzla
cnheitman:feature/upgrade-bitwuzla
September 13, 2023 19:19 52m 20s
Update python wheel docker file and build script Test the code coverage #840: Commit 357f372 pushed by cnheitman
September 13, 2023 17:15 48m 59s dev-v1.0
dev-v1.0
September 13, 2023 17:15 48m 59s
Fixed the way in which windows is build Test the code coverage #839: Pull request #1283 synchronize by cctv130
September 6, 2023 10:46 1h 8m 25s dev-v1.0
dev-v1.0
September 6, 2023 10:46 1h 8m 25s
Fixed the way in which windows is build Test the code coverage #838: Pull request #1283 synchronize by cctv130
September 6, 2023 04:16 48m 16s dev-v1.0
dev-v1.0
September 6, 2023 04:16 48m 16s
Fixed the way in which windows is build Test the code coverage #835: Pull request #1283 synchronize by cctv130
September 5, 2023 12:55 46m 49s dev-v1.0
dev-v1.0
September 5, 2023 12:55 46m 49s
Fixed the way in which windows is build Test the code coverage #831: Pull request #1283 synchronize by cctv130
September 5, 2023 11:31 49m 22s dev-v1.0
dev-v1.0
September 5, 2023 11:31 49m 22s
Fixed the way in which windows is build Test the code coverage #814: Pull request #1283 synchronize by cctv130
September 4, 2023 07:25 4m 6s dev-v1.0
dev-v1.0
September 4, 2023 07:25 4m 6s
Fixed the way in which windows is build Test the code coverage #813: Pull request #1283 opened by cctv130
September 4, 2023 02:50 9m 42s dev-v1.0
dev-v1.0
September 4, 2023 02:50 9m 42s
Merge branch 'dev-v1.0' of github.com:JonathanSalwan/Triton into dev-… Test the code coverage #812: Commit b18e461 pushed by JonathanSalwan
September 3, 2023 17:44 1h 6m 38s dev-v1.0
dev-v1.0
September 3, 2023 17:44 1h 6m 38s
Fix python workflow for macOS Test the code coverage #811: Commit 04fd303 pushed by cnheitman
August 25, 2023 12:00 1h 15m 14s dev-v1.0
dev-v1.0
August 25, 2023 12:00 1h 15m 14s
Fix python workflow for macOS Test the code coverage #810: Pull request #1279 opened by cnheitman
August 24, 2023 18:42 1h 0m 12s cnheitman:fix/fix-macos-wheel-package
cnheitman:fix/fix-macos-wheel-package
August 24, 2023 18:42 1h 0m 12s
Update .gitignore file Test the code coverage #809: Commit 0ffc28a pushed by cnheitman
August 19, 2023 00:34 48m 39s dev-v1.0
dev-v1.0
August 19, 2023 00:34 48m 39s
Improve python workflow Test the code coverage #808: Pull request #1275 opened by cnheitman
August 18, 2023 19:19 1h 9m 42s cnheitman:feature/improve-python-workflow
cnheitman:feature/improve-python-workflow
August 18, 2023 19:19 1h 9m 42s
Update actions/checkout to v3 Test the code coverage #807: Commit 0025edd pushed by cnheitman
August 18, 2023 18:59 1h 11m 1s dev-v1.0
dev-v1.0
August 18, 2023 18:59 1h 11m 1s
Update actions/checkout to v3 Test the code coverage #806: Pull request #1274 opened by cnheitman
August 18, 2023 17:01 50m 39s cnheitman:feature/update-github-actions
cnheitman:feature/update-github-actions
August 18, 2023 17:01 50m 39s
Clang format Test the code coverage #805: Pull request #1273 opened by ZehMatt
August 17, 2023 13:13 46m 16s ZehMatt:clang-format
ZehMatt:clang-format
August 17, 2023 13:13 46m 16s
Merge pull request #1271 from cnheitman/feature/update-dockerfile Test the code coverage #804: Commit a61651c pushed by JonathanSalwan
August 16, 2023 18:00 48m 37s master
master
August 16, 2023 18:00 48m 37s
Merge pull request #1271 from cnheitman/feature/update-dockerfile Test the code coverage #803: Commit a61651c pushed by JonathanSalwan
August 16, 2023 15:23 1h 1m 6s dev-v1.0
dev-v1.0
August 16, 2023 15:23 1h 1m 6s
Update Dockerfile Test the code coverage #802: Pull request #1271 opened by cnheitman
August 16, 2023 14:06 1h 8m 8s cnheitman:feature/update-dockerfile
cnheitman:feature/update-dockerfile
August 16, 2023 14:06 1h 8m 8s
Update readme Test the code coverage #801: Commit 4207f07 pushed by JonathanSalwan
August 16, 2023 09:29 46m 39s dev-v1.0
dev-v1.0
August 16, 2023 09:29 46m 39s