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

Promote tests Test Z3 #380: Commit 4e85919 pushed by filipeom
December 2, 2024 18:56 18m 58s main
main
December 2, 2024 18:56 18m 58s
some fixes to model printing Test Z3 #379: Pull request #256 synchronize by filipeom
December 2, 2024 18:37 18m 47s zapashcanon:main
zapashcanon:main
December 2, 2024 18:37 18m 47s
some fixes to model printing Test Z3 #378: Pull request #256 synchronize by zapashcanon
December 2, 2024 18:32 18m 48s zapashcanon:main
zapashcanon:main
December 2, 2024 18:32 18m 48s
some fixes to model printing Test Z3 #377: Pull request #256 opened by zapashcanon
December 2, 2024 18:00 18m 15s zapashcanon:main
zapashcanon:main
December 2, 2024 18:00 18m 15s
0.4.0 Test Z3 #376: Commit d593a9a pushed by filipeom
December 2, 2024 00:43 18m 41s main
main
December 2, 2024 00:43 18m 41s
0.4.0 Test Z3 #375: Pull request #255 opened by filipeom
December 2, 2024 00:23 19m 15s filipeom:update-changes
filipeom:update-changes
December 2, 2024 00:23 19m 15s
Adds json model parsing Test Z3 #374: Commit c445af1 pushed by filipeom
December 1, 2024 23:57 18m 29s main
main
December 1, 2024 23:57 18m 29s
model parsing draft Test Z3 #373: Pull request #254 synchronize by filipeom
December 1, 2024 23:38 18m 28s zapashcanon:model-parsing
zapashcanon:model-parsing
December 1, 2024 23:38 18m 28s
model parsing draft Test Z3 #372: Pull request #254 synchronize by filipeom
December 1, 2024 23:25 19m 8s zapashcanon:model-parsing
zapashcanon:model-parsing
December 1, 2024 23:25 19m 8s
model parsing draft Test Z3 #371: Pull request #254 synchronize by filipeom
November 27, 2024 12:02 18m 34s zapashcanon:model-parsing
zapashcanon:model-parsing
November 27, 2024 12:02 18m 34s
model parsing draft Test Z3 #370: Pull request #254 synchronize by filipeom
November 26, 2024 19:09 18m 59s zapashcanon:model-parsing
zapashcanon:model-parsing
November 26, 2024 19:09 18m 59s
model parsing draft Test Z3 #369: Pull request #254 opened by zapashcanon
November 24, 2024 19:56 18m 23s zapashcanon:model-parsing
zapashcanon:model-parsing
November 24, 2024 19:56 18m 23s
Artifact fixes Test Z3 #368: Commit a3c8829 pushed by filipeom
November 24, 2024 19:33 18m 25s main
main
November 24, 2024 19:33 18m 25s
Artifact fixes Test Z3 #367: Pull request #253 opened by filipeom
November 24, 2024 19:09 19m 4s artifact-fixes
artifact-fixes
November 24, 2024 19:09 19m 4s
Add missing dune-glob dependency Test Z3 #366: Commit 2f430ed pushed by filipeom
November 24, 2024 18:08 18m 8s main
main
November 24, 2024 18:08 18m 8s
Add missing dune-glob dependency Test Z3 #365: Pull request #250 synchronize by filipeom
November 24, 2024 17:48 19m 10s missing-dep
missing-dep
November 24, 2024 17:48 19m 10s
Update benchpress pin Test Z3 #364: Commit 0ed5cce pushed by filipeom
November 24, 2024 17:48 19m 17s main
main
November 24, 2024 17:48 19m 17s
Add missing dune-glob dependency Test Z3 #363: Pull request #250 synchronize by filipeom
November 24, 2024 16:29 18m 50s missing-dep
missing-dep
November 24, 2024 16:29 18m 50s
Update benchpress pin Test Z3 #362: Pull request #249 synchronize by filipeom
November 24, 2024 16:23 18m 4s benchpress-pin
benchpress-pin
November 24, 2024 16:23 18m 4s
Allow specifying number of benchmarks in eval scripts Test Z3 #361: Commit 8723e8a pushed by filipeom
November 22, 2024 01:33 21m 55s main
main
November 22, 2024 01:33 21m 55s
Allow specifying number of benchmarks in eval scripts Test Z3 #360: Pull request #252 synchronize by filipeom
November 22, 2024 01:32 18m 35s eval-sample
eval-sample
November 22, 2024 01:32 18m 35s
Allow specifying number of benchmarks in eval scripts Test Z3 #359: Pull request #252 synchronize by filipeom
November 22, 2024 01:23 18m 24s eval-sample
eval-sample
November 22, 2024 01:23 18m 24s
Allow specifying number of benchmarks in eval scripts Test Z3 #358: Pull request #252 synchronize by filipeom
November 22, 2024 00:47 18m 34s eval-sample
eval-sample
November 22, 2024 00:47 18m 34s
Allow specifying number of benchmarks in eval scripts Test Z3 #357: Pull request #252 synchronize by filipeom
November 22, 2024 00:46 19m 1s eval-sample
eval-sample
November 22, 2024 00:46 19m 1s
Allow specifying number of benchmarks in eval scripts Test Z3 #356: Pull request #252 opened by filipeom
November 21, 2024 08:55 21m 52s eval-sample
eval-sample
November 21, 2024 08:55 21m 52s