Skip to content

Actions: formalsec/smtml

Actions

Test Bitwuzla

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-bitwuzla.yml
377 workflow runs
377 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump bitwuzla 0.4.0 -> 0.6.0 Test Bitwuzla #377: Pull request #245 labeled by filipeom
November 6, 2024 10:09 8m 10s bump-bitwuzla
bump-bitwuzla
November 6, 2024 10:09 8m 10s
Fix CI Test Bitwuzla #376: Pull request #239 labeled by filipeom
October 24, 2024 07:04 4m 47s fix-ci
fix-ci
October 24, 2024 07:04 4m 47s
Fix CI Test Bitwuzla #375: Pull request #239 labeled by filipeom
October 24, 2024 06:56 4m 33s fix-ci
fix-ci
October 24, 2024 06:56 4m 33s
Make not required CI only run with certain flags Test Bitwuzla #374: Commit bf36472 pushed by filipeom
October 24, 2024 06:50 Failure fix-ci
fix-ci
October 24, 2024 06:50 Failure
Fix CI Test Bitwuzla #373: Pull request #239 synchronize by filipeom
October 24, 2024 06:38 8m 54s fix-ci
fix-ci
October 24, 2024 06:38 8m 54s
Fix CI Test Bitwuzla #372: Pull request #239 opened by filipeom
October 24, 2024 06:36 14s fix-ci
fix-ci
October 24, 2024 06:36 14s
Remove .git Test Bitwuzla #371: Commit 29bce68 pushed by filipeom
October 24, 2024 06:16 Failure debug-space
debug-space
October 24, 2024 06:16 Failure
Try to disable submodules Test Bitwuzla #370: Commit 1f27769 pushed by filipeom
October 23, 2024 23:18 Failure debug-space
debug-space
October 23, 2024 23:18 Failure
Remove .gitmodules Test Bitwuzla #369: Commit cb59642 pushed by filipeom
October 23, 2024 23:14 Failure debug-space
debug-space
October 23, 2024 23:14 Failure
Remove .gitmodules Test Bitwuzla #368: Commit 5de636b pushed by filipeom
October 23, 2024 23:14 Failure debug-space
debug-space
October 23, 2024 23:14 Failure
Remove .gitmodules Test Bitwuzla #367: Commit 3ba582d pushed by filipeom
October 23, 2024 23:04 Failure debug-space
debug-space
October 23, 2024 23:04 Failure
Remove .gitmodules Test Bitwuzla #366: Commit ac6cc31 pushed by filipeom
October 23, 2024 22:20 Failure debug-space
debug-space
October 23, 2024 22:20 Failure
Workflow dispatch Test Bitwuzla #365: Commit de8cce8 pushed by filipeom
October 23, 2024 22:08 Failure debug-space
debug-space
October 23, 2024 22:08 Failure
Workflow dispatch Test Bitwuzla #364: Commit 5cf0986 pushed by filipeom
October 23, 2024 21:58 Failure debug-space
debug-space
October 23, 2024 21:58 Failure
Debug space Test Bitwuzla #363: Pull request #238 synchronize by filipeom
October 23, 2024 21:45 4m 58s debug-space
debug-space
October 23, 2024 21:45 4m 58s
TACAS25 Artifact Test Bitwuzla #362: Pull request #237 synchronize by joaomhmpereira
October 23, 2024 17:08 4m 59s artifact-submission
artifact-submission
October 23, 2024 17:08 4m 59s
TACAS25 Artifact Test Bitwuzla #361: Pull request #237 synchronize by joaomhmpereira
October 23, 2024 11:44 5m 7s artifact-submission
artifact-submission
October 23, 2024 11:44 5m 7s
TACAS25 Artifact Test Bitwuzla #360: Pull request #237 synchronize by joaomhmpereira
October 23, 2024 11:16 6h 0m 24s artifact-submission
artifact-submission
October 23, 2024 11:16 6h 0m 24s
Debug space Test Bitwuzla #359: Pull request #238 opened by filipeom
October 23, 2024 06:11 4m 53s debug-space
debug-space
October 23, 2024 06:11 4m 53s
TACAS25 Artifact Test Bitwuzla #358: Pull request #237 synchronize by joaomhmpereira
October 22, 2024 23:09 45m 4s artifact-submission
artifact-submission
October 22, 2024 23:09 45m 4s
TACAS25 Artifact Test Bitwuzla #357: Pull request #237 synchronize by joaomhmpereira
October 22, 2024 22:22 4m 55s artifact-submission
artifact-submission
October 22, 2024 22:22 4m 55s
TACAS25 Artifact Test Bitwuzla #356: Pull request #237 synchronize by joaomhmpereira
October 22, 2024 21:26 5m 20s artifact-submission
artifact-submission
October 22, 2024 21:26 5m 20s
TACAS25 Artifact Test Bitwuzla #355: Pull request #237 synchronize by joaomhmpereira
October 22, 2024 16:57 5m 12s artifact-submission
artifact-submission
October 22, 2024 16:57 5m 12s
TACAS25 Artifact Test Bitwuzla #354: Pull request #237 synchronize by joaomhmpereira
October 22, 2024 16:49 5m 53s artifact-submission
artifact-submission
October 22, 2024 16:49 5m 53s
TACAS25 Artifact Test Bitwuzla #353: Pull request #237 synchronize by joaomhmpereira
October 19, 2024 15:37 5m 52s artifact-submission
artifact-submission
October 19, 2024 15:37 5m 52s