Skip to content

Actions: formalsec/smtml

Actions

Test Bitwuzla

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix actions Test Bitwuzla #392: Pull request #265 labeled by filipeom
December 26, 2024 23:34 4m 59s filipeom:fix-actions
filipeom:fix-actions
December 26, 2024 23:34 4m 59s
Fix actions Test Bitwuzla #391: Pull request #265 labeled by filipeom
December 26, 2024 23:34 3s filipeom:fix-actions
filipeom:fix-actions
December 26, 2024 23:34 3s
Fix actions Test Bitwuzla #390: Pull request #265 labeled by filipeom
December 26, 2024 23:34 3s filipeom:fix-actions
filipeom:fix-actions
December 26, 2024 23:34 3s
Removes satisfiability type Test Bitwuzla #389: Pull request #264 labeled by filipeom
December 26, 2024 23:12 4m 54s filipeom:main
filipeom:main
December 26, 2024 23:12 4m 54s
Removes satisfiability type Test Bitwuzla #388: Pull request #264 labeled by filipeom
December 26, 2024 23:12 4m 59s filipeom:main
filipeom:main
December 26, 2024 23:12 4m 59s
Removes satisfiability type Test Bitwuzla #387: Pull request #264 labeled by filipeom
December 26, 2024 23:12 5m 9s filipeom:main
filipeom:main
December 26, 2024 23:12 5m 9s
Removes satisfiability type Test Bitwuzla #386: Pull request #264 labeled by filipeom
December 26, 2024 23:12 4m 57s filipeom:main
filipeom:main
December 26, 2024 23:12 4m 57s
Minor refactor Test Bitwuzla #385: Pull request #261 labeled by filipeom
December 6, 2024 18:06 5m 8s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 18:06 5m 8s
Minor refactor Test Bitwuzla #384: Pull request #261 labeled by filipeom
December 6, 2024 17:41 5m 3s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 17:41 5m 3s
Minor refactor Test Bitwuzla #383: Pull request #261 labeled by filipeom
December 6, 2024 15:02 5m 7s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 5m 7s
Minor refactor Test Bitwuzla #382: Pull request #261 labeled by filipeom
December 6, 2024 15:02 5m 14s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 5m 14s
Minor refactor Test Bitwuzla #381: Pull request #261 labeled by filipeom
December 6, 2024 15:02 9m 57s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 9m 57s
Minor refactor Test Bitwuzla #380: Pull request #261 labeled by filipeom
December 6, 2024 15:02 9m 37s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 9m 37s
Minor refactor Test Bitwuzla #379: Pull request #261 labeled by filipeom
December 6, 2024 15:02 8m 57s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 8m 57s
Minor refactor Test Bitwuzla #378: Pull request #261 labeled by filipeom
December 6, 2024 15:02 5m 12s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 5m 12s
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