Skip to content

Actions: formalsec/smtml

Actions

Deploy documentation to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
269 workflow runs
269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow manual dispatch for solver workflows Deploy documentation to Pages #276: Commit 5d3459a pushed by filipeom
February 5, 2025 15:56 16m 15s main
main
February 5, 2025 15:56 16m 15s
Prepare v0.5.0 Deploy documentation to Pages #275: Commit bc08995 pushed by filipeom
February 5, 2025 15:39 15m 53s main
main
February 5, 2025 15:39 15m 53s
fix doc Deploy documentation to Pages #274: Commit d22d274 pushed by filipeom
February 5, 2025 13:53 19m 33s main
main
February 5, 2025 13:53 19m 33s
Temporary constraint: prelude <= 0.3 Deploy documentation to Pages #273: Commit 807ca82 pushed by filipeom
January 30, 2025 01:50 17m 4s main
main
January 30, 2025 01:50 17m 4s
Update ocaml compiler version in CI Deploy documentation to Pages #272: Commit 5f1d028 pushed by filipeom
January 22, 2025 20:23 19m 57s main
main
January 22, 2025 20:23 19m 57s
Remove smt-testcomp23 because its trashing ecma-sl's CI Deploy documentation to Pages #271: Commit d95f99d pushed by filipeom
January 10, 2025 12:36 19m 49s main
main
January 10, 2025 12:36 19m 49s
Attempt to fix solver actions Deploy documentation to Pages #270: Commit 2d1cf7d pushed by filipeom
December 26, 2024 23:52 19m 54s main
main
December 26, 2024 23:52 19m 54s
Removes satisfiability type Deploy documentation to Pages #269: Commit ac3ccad pushed by filipeom
December 26, 2024 23:29 23m 8s main
main
December 26, 2024 23:29 23m 8s
Adopt OCaml's code of conduct Deploy documentation to Pages #268: Commit 83a12da pushed by filipeom
December 16, 2024 19:15 20m 4s main
main
December 16, 2024 19:15 20m 4s
Rename options.ml -> cli.ml Deploy documentation to Pages #267: Commit dfe58ec pushed by filipeom
December 9, 2024 10:37 19m 49s main
main
December 9, 2024 10:37 19m 49s
Promote tests Deploy documentation to Pages #266: Commit 2acf83a pushed by filipeom
December 6, 2024 18:26 19m 56s main
main
December 6, 2024 18:26 19m 56s
Promote tests Deploy documentation to Pages #265: Commit 7f25a33 pushed by filipeom
December 4, 2024 13:14 19m 43s main
main
December 4, 2024 13:14 19m 43s
Update ocamlformat and format code Deploy documentation to Pages #264: Commit 542f203 pushed by filipeom
December 4, 2024 11:24 20m 0s main
main
December 4, 2024 11:24 20m 0s
fix bug in parsing of Num.t Deploy documentation to Pages #263: Commit df5f3fd pushed by filipeom
December 3, 2024 10:26 19m 34s main
main
December 3, 2024 10:26 19m 34s
Prepare 0.4.1 Deploy documentation to Pages #262: Commit 175f18c pushed by filipeom
December 2, 2024 19:30 19m 43s main
main
December 2, 2024 19:30 19m 43s
Promote tests Deploy documentation to Pages #261: Commit 4e85919 pushed by filipeom
December 2, 2024 18:56 20m 3s main
main
December 2, 2024 18:56 20m 3s
0.4.0 Deploy documentation to Pages #260: Commit d593a9a pushed by filipeom
December 2, 2024 00:43 19m 30s main
main
December 2, 2024 00:43 19m 30s
Adds json model parsing Deploy documentation to Pages #259: Commit c445af1 pushed by filipeom
December 1, 2024 23:57 19m 38s main
main
December 1, 2024 23:57 19m 38s
Artifact fixes Deploy documentation to Pages #258: Commit a3c8829 pushed by filipeom
November 24, 2024 19:33 19m 38s main
main
November 24, 2024 19:33 19m 38s
Add missing dune-glob dependency Deploy documentation to Pages #257: Commit 2f430ed pushed by filipeom
November 24, 2024 18:08 21m 56s main
main
November 24, 2024 18:08 21m 56s
Update benchpress pin Deploy documentation to Pages #256: Commit 0ed5cce pushed by filipeom
November 24, 2024 17:48 20m 5s main
main
November 24, 2024 17:48 20m 5s
Allow specifying number of benchmarks in eval scripts Deploy documentation to Pages #255: Commit 8723e8a pushed by filipeom
November 22, 2024 01:33 23m 38s main
main
November 22, 2024 01:33 23m 38s
Add missing flag to scripts Deploy documentation to Pages #254: Commit 6c03582 pushed by filipeom
November 20, 2024 22:14 23m 10s main
main
November 20, 2024 22:14 23m 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
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