Skip to content

Actions: formalsec/smtml

Actions

Test Alt-Ergo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-alt-ergo.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix actions Test Alt-Ergo #45: Pull request #265 labeled by filipeom
December 26, 2024 23:34 6m 6s filipeom:fix-actions
filipeom:fix-actions
December 26, 2024 23:34 6m 6s
Fix actions Test Alt-Ergo #44: Pull request #265 labeled by filipeom
December 26, 2024 23:34 4s filipeom:fix-actions
filipeom:fix-actions
December 26, 2024 23:34 4s
Fix actions Test Alt-Ergo #43: Pull request #265 labeled by filipeom
December 26, 2024 23:34 4s filipeom:fix-actions
filipeom:fix-actions
December 26, 2024 23:34 4s
Removes satisfiability type Test Alt-Ergo #42: Pull request #264 labeled by filipeom
December 26, 2024 23:12 3m 53s filipeom:main
filipeom:main
December 26, 2024 23:12 3m 53s
Removes satisfiability type Test Alt-Ergo #41: Pull request #264 labeled by filipeom
December 26, 2024 23:12 3m 37s filipeom:main
filipeom:main
December 26, 2024 23:12 3m 37s
Removes satisfiability type Test Alt-Ergo #40: Pull request #264 labeled by filipeom
December 26, 2024 23:12 3m 52s filipeom:main
filipeom:main
December 26, 2024 23:12 3m 52s
Removes satisfiability type Test Alt-Ergo #39: Pull request #264 labeled by filipeom
December 26, 2024 23:12 3m 38s filipeom:main
filipeom:main
December 26, 2024 23:12 3m 38s
Minor refactor Test Alt-Ergo #38: Pull request #261 labeled by filipeom
December 6, 2024 18:06 3s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 18:06 3s
Minor refactor Test Alt-Ergo #37: Pull request #261 labeled by filipeom
December 6, 2024 17:41 2s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 17:41 2s
Minor refactor Test Alt-Ergo #36: Pull request #261 labeled by filipeom
December 6, 2024 15:02 4m 13s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 4m 13s
Minor refactor Test Alt-Ergo #35: Pull request #261 labeled by filipeom
December 6, 2024 15:02 4m 2s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 4m 2s
Minor refactor Test Alt-Ergo #34: Pull request #261 labeled by filipeom
December 6, 2024 15:02 8m 5s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 8m 5s
Minor refactor Test Alt-Ergo #33: Pull request #261 labeled by filipeom
December 6, 2024 15:02 3m 55s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 3m 55s
Minor refactor Test Alt-Ergo #32: Pull request #261 labeled by filipeom
December 6, 2024 15:02 8m 4s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 8m 4s
Minor refactor Test Alt-Ergo #31: Pull request #261 labeled by filipeom
December 6, 2024 15:02 4m 18s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 4m 18s
Bump bitwuzla 0.4.0 -> 0.6.0 Test Alt-Ergo #30: Pull request #245 labeled by filipeom
November 6, 2024 10:09 2s bump-bitwuzla
bump-bitwuzla
November 6, 2024 10:09 2s
Fix CI Test Alt-Ergo #29: Pull request #239 labeled by filipeom
October 24, 2024 07:04 3m 24s fix-ci
fix-ci
October 24, 2024 07:04 3m 24s
Fix CI Test Alt-Ergo #28: Pull request #239 labeled by filipeom
October 24, 2024 06:56 2s fix-ci
fix-ci
October 24, 2024 06:56 2s
Make not required CI only run with certain flags Test Alt-Ergo #27: Commit bf36472 pushed by filipeom
October 24, 2024 06:50 Failure fix-ci
fix-ci
October 24, 2024 06:50 Failure
Fix CI Test Alt-Ergo #26: Pull request #239 synchronize by filipeom
October 24, 2024 06:38 7m 7s fix-ci
fix-ci
October 24, 2024 06:38 7m 7s
Fix CI Test Alt-Ergo #25: Pull request #239 opened by filipeom
October 24, 2024 06:36 13s fix-ci
fix-ci
October 24, 2024 06:36 13s
Remove .git Test Alt-Ergo #24: 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 Alt-Ergo #23: Commit 1f27769 pushed by filipeom
October 23, 2024 23:18 Failure debug-space
debug-space
October 23, 2024 23:18 Failure
Remove .gitmodules Test Alt-Ergo #22: Commit cb59642 pushed by filipeom
October 23, 2024 23:14 Failure debug-space
debug-space
October 23, 2024 23:14 Failure
Remove .gitmodules Test Alt-Ergo #21: Commit 5de636b pushed by filipeom
October 23, 2024 23:14 Failure debug-space
debug-space
October 23, 2024 23:14 Failure