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

Attempt to fix solver actions Test Z3 #405: Commit 2d1cf7d pushed by filipeom
December 26, 2024 23:52 19m 54s main
main
December 26, 2024 23:52 19m 54s
Fix actions Test Z3 #404: Pull request #265 synchronize by filipeom
December 26, 2024 23:30 21m 59s filipeom:fix-actions
filipeom:fix-actions
December 26, 2024 23:30 21m 59s
Fix actions Test Z3 #403: Pull request #265 opened by filipeom
December 26, 2024 23:30 21m 49s filipeom:fix-actions
filipeom:fix-actions
December 26, 2024 23:30 21m 49s
Removes satisfiability type Test Z3 #402: Commit ac3ccad pushed by filipeom
December 26, 2024 23:29 22m 3s main
main
December 26, 2024 23:29 22m 3s
Removes satisfiability type Test Z3 #401: Pull request #264 synchronize by filipeom
December 26, 2024 23:11 18m 41s filipeom:main
filipeom:main
December 26, 2024 23:11 18m 41s
Removes satisfiability type Test Z3 #400: Pull request #264 synchronize by filipeom
December 26, 2024 23:03 22m 14s filipeom:main
filipeom:main
December 26, 2024 23:03 22m 14s
Removes satisfiability type Test Z3 #399: Pull request #264 opened by filipeom
December 26, 2024 23:02 22m 20s filipeom:main
filipeom:main
December 26, 2024 23:02 22m 20s
Adopt OCaml's code of conduct Test Z3 #398: Commit 83a12da pushed by filipeom
December 16, 2024 19:15 18m 37s main
main
December 16, 2024 19:15 18m 37s
Adopt OCaml's code of conduct Test Z3 #397: Pull request #263 opened by filipeom
December 16, 2024 18:56 18m 58s filipeom:coc
filipeom:coc
December 16, 2024 18:56 18m 58s
Rename options.ml -> cli.ml Test Z3 #396: Commit dfe58ec pushed by filipeom
December 9, 2024 10:37 18m 37s main
main
December 9, 2024 10:37 18m 37s
Rename options.ml -> cli.ml Test Z3 #395: Pull request #262 opened by filipeom
December 9, 2024 10:18 19m 22s filipeom:main
filipeom:main
December 9, 2024 10:18 19m 22s
Promote tests Test Z3 #394: Commit 2acf83a pushed by filipeom
December 6, 2024 18:26 20m 21s main
main
December 6, 2024 18:26 20m 21s
Minor refactor Test Z3 #393: Pull request #261 synchronize by filipeom
December 6, 2024 18:06 19m 19s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 18:06 19m 19s
Minor refactor Test Z3 #392: Pull request #261 synchronize by filipeom
December 6, 2024 17:40 19m 31s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 17:40 19m 31s
Minor refactor Test Z3 #391: Pull request #261 synchronize by filipeom
December 6, 2024 17:38 19m 3s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 17:38 19m 3s
Minor refactor Test Z3 #390: Pull request #261 opened by filipeom
December 6, 2024 15:02 19m 5s filipeom:minor-refactor
filipeom:minor-refactor
December 6, 2024 15:02 19m 5s
Promote tests Test Z3 #389: Commit 7f25a33 pushed by filipeom
December 4, 2024 13:14 19m 16s main
main
December 4, 2024 13:14 19m 16s
Use named arguments in sub-commands (inspired by OCamlPro/owi#461) Test Z3 #388: Pull request #260 synchronize by filipeom
December 4, 2024 12:23 18m 42s filipeom:use-cmdliner-monadic-syntax
filipeom:use-cmdliner-monadic-syntax
December 4, 2024 12:23 18m 42s
Use named arguments in sub-commands (inspired by OCamlPro/owi#461) Test Z3 #387: Pull request #260 opened by filipeom
December 4, 2024 12:22 18m 43s filipeom:use-cmdliner-monadic-syntax
filipeom:use-cmdliner-monadic-syntax
December 4, 2024 12:22 18m 43s
Update ocamlformat and format code Test Z3 #386: Commit 542f203 pushed by filipeom
December 4, 2024 11:24 20m 0s main
main
December 4, 2024 11:24 20m 0s
Update ocamlformat and format code Test Z3 #385: Pull request #259 opened by filipeom
December 4, 2024 11:05 18m 34s filipeom:ocmalformat
filipeom:ocmalformat
December 4, 2024 11:05 18m 34s
fix bug in parsing of Num.t Test Z3 #384: Commit df5f3fd pushed by filipeom
December 3, 2024 10:26 19m 8s main
main
December 3, 2024 10:26 19m 8s
fix bug in parsing of Num.t Test Z3 #383: Pull request #258 opened by zapashcanon
December 3, 2024 10:07 19m 6s zapashcanon:main
zapashcanon:main
December 3, 2024 10:07 19m 6s
Prepare 0.4.1 Test Z3 #382: Commit 175f18c pushed by filipeom
December 2, 2024 19:30 18m 21s main
main
December 2, 2024 19:30 18m 21s
Prepare 0.4.1 Test Z3 #381: Pull request #257 opened by filipeom
December 2, 2024 19:11 18m 42s filipeom:update-changes
filipeom:update-changes
December 2, 2024 19:11 18m 42s