Skip to content

Actions: formalsec/smtml

Actions

Test Z3

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-z3.yml
405 workflow runs
405 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes test-z3 workflow name Test Z3 #5: Commit d89904a pushed by filipeom
June 11, 2024 11:59 16m 51s main
main
June 11, 2024 11:59 16m 51s
Update Z3 contraint to include 4.13 Test Z3 #4: Pull request #141 synchronize by filipeom
June 11, 2024 11:52 17m 0s bump-z3
bump-z3
June 11, 2024 11:52 17m 0s
Update Z3 contraint to include 4.13 Test Z3 #3: Pull request #141 opened by filipeom
June 11, 2024 11:50 4m 28s bump-z3
bump-z3
June 11, 2024 11:50 4m 28s
Fixes CI Test Z3 #2: Commit a88dc62 pushed by filipeom
June 10, 2024 13:13 16m 2s main
main
June 10, 2024 13:13 16m 2s
Fixes CI Test Z3 #1: Pull request #140 opened by filipeom
June 10, 2024 12:56 16m 3s fix-ci
fix-ci
June 10, 2024 12:56 16m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-06-10 or the other filters available.