Skip to content

Actions: formalsec/smtml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,418 workflow runs
2,418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #914390385 Dependabot Updates #17: by dependabot bot
November 11, 2024 01:07 3m 10s
November 11, 2024 01:07 3m 10s
Prepare v0.3.1 Deploy documentation to Pages #253: Commit b2c6e2d pushed by filipeom
November 6, 2024 20:19 19m 29s main
main
November 6, 2024 20:19 19m 29s
Prepare v0.3.1 Build #764: Commit b2c6e2d pushed by filipeom
November 6, 2024 20:19 4m 16s main
main
November 6, 2024 20:19 4m 16s
Prepare v0.3.1 Test Z3 #349: Commit b2c6e2d pushed by filipeom
November 6, 2024 20:19 19m 14s main
main
November 6, 2024 20:19 19m 14s
Prepare v0.3.1 Build #763: Pull request #248 opened by filipeom
November 6, 2024 19:59 5m 39s v0.3.1
v0.3.1
November 6, 2024 19:59 5m 39s
Prepare v0.3.1 Test Z3 #348: Pull request #248 opened by filipeom
November 6, 2024 19:59 19m 29s v0.3.1
v0.3.1
November 6, 2024 19:59 19m 29s
Update CHANGES.md Deploy documentation to Pages #252: Commit 9561eb6 pushed by filipeom
November 6, 2024 14:56 19m 23s main
main
November 6, 2024 14:56 19m 23s
Update CHANGES.md Test Z3 #347: Commit 9561eb6 pushed by filipeom
November 6, 2024 14:56 19m 13s main
main
November 6, 2024 14:56 19m 13s
Update CHANGES.md Build #762: Commit 9561eb6 pushed by filipeom
November 6, 2024 14:56 3m 56s main
main
November 6, 2024 14:56 3m 56s
Small fixes Test Z3 #346: Pull request #247 synchronize by filipeom
November 6, 2024 14:37 18m 53s minor-fixes
minor-fixes
November 6, 2024 14:37 18m 53s
Small fixes Build #761: Pull request #247 synchronize by filipeom
November 6, 2024 14:37 3m 58s minor-fixes
minor-fixes
November 6, 2024 14:37 3m 58s
Small fixes Test Z3 #345: Pull request #247 opened by filipeom
November 6, 2024 14:37 18m 38s minor-fixes
minor-fixes
November 6, 2024 14:37 18m 38s
Small fixes Build #760: Pull request #247 opened by filipeom
November 6, 2024 14:37 5m 33s minor-fixes
minor-fixes
November 6, 2024 14:37 5m 33s
Update README.md Deploy documentation to Pages #251: Commit 7dbedee pushed by filipeom
November 6, 2024 14:05 19m 25s main
main
November 6, 2024 14:05 19m 25s
Update README.md Test Z3 #344: Commit 7dbedee pushed by filipeom
November 6, 2024 14:05 18m 53s main
main
November 6, 2024 14:05 18m 53s
Update README.md Build #759: Commit 7dbedee pushed by filipeom
November 6, 2024 14:05 3m 39s main
main
November 6, 2024 14:05 3m 39s
Update README.md Test Z3 #343: Pull request #246 opened by filipeom
November 6, 2024 13:45 19m 30s update-readme
update-readme
November 6, 2024 13:45 19m 30s
Update README.md Build #758: Pull request #246 opened by filipeom
November 6, 2024 13:45 5m 17s update-readme
update-readme
November 6, 2024 13:45 5m 17s
Remove leaky hack in bitwuzla's mappigns Build #757: Commit c8b7b30 pushed by filipeom
November 6, 2024 12:17 10m 45s main
main
November 6, 2024 12:17 10m 45s
Remove leaky hack in bitwuzla's mappigns Test Z3 #342: Commit c8b7b30 pushed by filipeom
November 6, 2024 12:17 21m 52s main
main
November 6, 2024 12:17 21m 52s
Remove leaky hack in bitwuzla's mappigns Deploy documentation to Pages #250: Commit c8b7b30 pushed by filipeom
November 6, 2024 12:17 23m 38s main
main
November 6, 2024 12:17 23m 38s
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
Bump bitwuzla 0.4.0 -> 0.6.0 Test Colibri2 #377: Pull request #245 labeled by filipeom
November 6, 2024 10:09 3s bump-bitwuzla
bump-bitwuzla
November 6, 2024 10:09 3s
Bump bitwuzla 0.4.0 -> 0.6.0 Test cvc5 #244: Pull request #245 labeled by filipeom
November 6, 2024 10:09 3s bump-bitwuzla
bump-bitwuzla
November 6, 2024 10:09 3s
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