Skip to content

Actions: JonathanSalwan/Triton

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
774 workflow runs
774 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Bump wheel package version to 1.0.0rc4 Build Python Package #486: Commit f84808c pushed by cnheitman
May 22, 2024 17:47 17m 8s dev-v1.0
dev-v1.0
May 22, 2024 17:47 17m 8s
Bump wheel package version to 1.0.0rc4 Tests on Linux #1016: Commit f84808c pushed by cnheitman
May 22, 2024 17:47 32m 11s dev-v1.0
dev-v1.0
May 22, 2024 17:47 32m 11s
Bump wheel package version to 1.0.0rc4 Test the code coverage #904: Commit f84808c pushed by cnheitman
May 22, 2024 17:47 43m 34s dev-v1.0
dev-v1.0
May 22, 2024 17:47 43m 34s
Bump wheel package version to 1.0.0rc4 Tests on OSX #1015: Commit f84808c pushed by cnheitman
May 22, 2024 17:47 33m 23s dev-v1.0
dev-v1.0
May 22, 2024 17:47 33m 23s
Bump wheel package version to 1.0.0rc4 Docker Image CI #1060: Commit f84808c pushed by cnheitman
May 22, 2024 17:47 14m 43s dev-v1.0
dev-v1.0
May 22, 2024 17:47 14m 43s
Bump wheel package version to 1.0.0rc4 Test the VCPKG install #427: Commit f84808c pushed by cnheitman
May 22, 2024 17:47 22m 48s dev-v1.0
dev-v1.0
May 22, 2024 17:47 22m 48s
Merge pull request #1328 from psi-func/fix-bitwuzla-timeout Build Python Package #485: Commit e712f44 pushed by JonathanSalwan
May 22, 2024 06:58 15m 37s dev-v1.0
dev-v1.0
May 22, 2024 06:58 15m 37s
Merge pull request #1328 from psi-func/fix-bitwuzla-timeout Tests on Linux #1015: Commit e712f44 pushed by JonathanSalwan
May 22, 2024 06:58 25m 8s dev-v1.0
dev-v1.0
May 22, 2024 06:58 25m 8s
Merge pull request #1328 from psi-func/fix-bitwuzla-timeout Test the code coverage #903: Commit e712f44 pushed by JonathanSalwan
May 22, 2024 06:58 42m 25s dev-v1.0
dev-v1.0
May 22, 2024 06:58 42m 25s
Merge pull request #1328 from psi-func/fix-bitwuzla-timeout Tests on OSX #1014: Commit e712f44 pushed by JonathanSalwan
May 22, 2024 06:58 32m 22s dev-v1.0
dev-v1.0
May 22, 2024 06:58 32m 22s
Merge pull request #1328 from psi-func/fix-bitwuzla-timeout Docker Image CI #1059: Commit e712f44 pushed by JonathanSalwan
May 22, 2024 06:58 15m 4s dev-v1.0
dev-v1.0
May 22, 2024 06:58 15m 4s
Merge pull request #1328 from psi-func/fix-bitwuzla-timeout Test the VCPKG install #426: Commit e712f44 pushed by JonathanSalwan
May 22, 2024 06:58 23m 4s dev-v1.0
dev-v1.0
May 22, 2024 06:58 23m 4s
Fix: not using timeout with bitwuzla backend Test the code coverage #902: Pull request #1328 opened by psi-func
May 21, 2024 14:13 1h 4m 30s psi-func:fix-bitwuzla-timeout
psi-func:fix-bitwuzla-timeout
May 21, 2024 14:13 1h 4m 30s
Fix: not using timeout with bitwuzla backend Tests on Linux #1014: Pull request #1328 opened by psi-func
May 21, 2024 14:13 1h 5m 16s psi-func:fix-bitwuzla-timeout
psi-func:fix-bitwuzla-timeout
May 21, 2024 14:13 1h 5m 16s
Fix: not using timeout with bitwuzla backend Tests on OSX #1013: Pull request #1328 opened by psi-func
May 21, 2024 14:13 49m 12s psi-func:fix-bitwuzla-timeout
psi-func:fix-bitwuzla-timeout
May 21, 2024 14:13 49m 12s
Fix: not using timeout with bitwuzla backend Test the VCPKG install #425: Pull request #1328 opened by psi-func
May 21, 2024 14:13 53m 24s psi-func:fix-bitwuzla-timeout
psi-func:fix-bitwuzla-timeout
May 21, 2024 14:13 53m 24s
Fix: not using timeout with bitwuzla backend Docker Image CI #1058: Pull request #1328 opened by psi-func
May 21, 2024 14:13 49m 12s psi-func:fix-bitwuzla-timeout
psi-func:fix-bitwuzla-timeout
May 21, 2024 14:13 49m 12s
Fix: not using timeout with bitwuzla backend Build Python Package #484: Pull request #1328 opened by psi-func
May 21, 2024 14:13 46m 29s psi-func:fix-bitwuzla-timeout
psi-func:fix-bitwuzla-timeout
May 21, 2024 14:13 46m 29s
Fix #1317: Support Python 3.12 (typo) Tests on OSX #1012: Commit 49aba5d pushed by JonathanSalwan
May 21, 2024 06:26 30m 52s master
master
May 21, 2024 06:26 30m 52s
Fix #1317: Support Python 3.12 (typo) Test the code coverage #901: Commit 49aba5d pushed by JonathanSalwan
May 21, 2024 06:26 41m 32s master
master
May 21, 2024 06:26 41m 32s
Fix #1317: Support Python 3.12 (typo) Build Python Package #483: Commit 49aba5d pushed by JonathanSalwan
May 21, 2024 06:26 30m 57s master
master
May 21, 2024 06:26 30m 57s
Fix #1317: Support Python 3.12 (typo) Tests on Linux #1013: Commit 49aba5d pushed by JonathanSalwan
May 21, 2024 06:26 31m 58s master
master
May 21, 2024 06:26 31m 58s
Fix #1317: Support Python 3.12 (typo) Test the VCPKG install #424: Commit 49aba5d pushed by JonathanSalwan
May 21, 2024 06:26 25m 39s master
master
May 21, 2024 06:26 25m 39s
Fix #1317: Support Python 3.12 (typo) Docker Image CI #1057: Commit 49aba5d pushed by JonathanSalwan
May 21, 2024 06:26 15m 10s master
master
May 21, 2024 06:26 15m 10s
Fix #1317: Support Python 3.12 (typo) Docker Image CI #1056: Commit 98de7d8 pushed by JonathanSalwan
May 20, 2024 19:58 13m 39s dev-v1.0
dev-v1.0
May 20, 2024 19:58 13m 39s