Skip to content

Actions: formalsec/smtml

Actions

Deploy documentation to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
270 workflow runs
270 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CHANGES.md Deploy documentation to Pages #301: Commit 44a02fe pushed by github-merge-queue bot
March 7, 2025 16:17 16m 31s main
main
March 7, 2025 16:17 16m 31s
Update CHANGES.md Deploy documentation to Pages #300: Commit ab18f81 pushed by github-merge-queue bot
March 6, 2025 20:16 15m 29s main
main
March 6, 2025 20:16 15m 29s
Update src/smtml/solver.ml Deploy documentation to Pages #299: Commit 333ee13 pushed by github-merge-queue bot
March 5, 2025 11:58 15m 44s main
main
March 5, 2025 11:58 15m 44s
add Expr.Set.get_symbols Deploy documentation to Pages #298: Commit 7b90213 pushed by github-merge-queue bot
March 4, 2025 19:45 15m 36s main
main
March 4, 2025 19:45 15m 36s
Fix encoding order of nary arguments Deploy documentation to Pages #297: Commit 54beae2 pushed by github-merge-queue bot
March 3, 2025 21:52 15m 46s main
main
March 3, 2025 21:52 15m 46s
Refactor solver tests Deploy documentation to Pages #296: Commit 7f1417e pushed by github-merge-queue bot
March 2, 2025 23:25 15m 23s main
main
March 2, 2025 23:25 15m 23s
Remove runner's core_unix dependency Deploy documentation to Pages #295: Commit fcf50fa pushed by github-merge-queue bot
March 2, 2025 13:42 15m 42s main
main
March 2, 2025 13:42 15m 42s
Update OCaml compiler in CI and don't run on main push Deploy documentation to Pages #294: Commit 8a73a37 pushed by github-merge-queue bot
March 1, 2025 10:26 15m 56s main
main
March 1, 2025 10:26 15m 56s
Exclude Altergo mappings from coverage report Deploy documentation to Pages #293: Commit 030a5d6 pushed by github-merge-queue bot
February 28, 2025 21:45 15m 10s main
main
February 28, 2025 21:45 15m 10s
Update README.md with trivial library usage examples Deploy documentation to Pages #292: Commit 604c367 pushed by github-merge-queue bot
February 28, 2025 21:43 16m 21s main
main
February 28, 2025 21:43 16m 21s
Allow running actions on merge group Deploy documentation to Pages #291: Commit 8ac6b6a pushed by filipeom
February 28, 2025 21:02 16m 15s main
main
February 28, 2025 21:02 16m 15s
Update CHANGES.md Deploy documentation to Pages #290: Commit bd4b406 pushed by filipeom
February 28, 2025 09:44 15m 39s main
main
February 28, 2025 09:44 15m 39s
Update doc index Deploy documentation to Pages #289: Commit 226768d pushed by filipeom
February 27, 2025 20:20 18m 40s main
main
February 27, 2025 20:20 18m 40s
Use Unix.gettimeofday instead of Rusage Deploy documentation to Pages #288: Commit 7d96035 pushed by filipeom
February 27, 2025 20:05 16m 27s main
main
February 27, 2025 20:05 16m 27s
Bring Owi's missing simplifications into extract2 and concat3 Deploy documentation to Pages #287: Commit 1c60420 pushed by filipeom
February 27, 2025 14:55 20m 30s main
main
February 27, 2025 14:55 20m 30s
Update CHANGES.md Deploy documentation to Pages #286: Commit 3d65b8a pushed by filipeom
February 24, 2025 23:56 19m 44s main
main
February 24, 2025 23:56 19m 44s
optimize Expr.equal, cache Expr.simplify Deploy documentation to Pages #285: Commit 9805061 pushed by filipeom
February 12, 2025 20:27 16m 27s main
main
February 12, 2025 20:27 16m 27s
Fix synopsis Deploy documentation to Pages #284: Commit 8393d76 pushed by filipeom
February 11, 2025 12:39 19m 58s main
main
February 11, 2025 12:39 19m 58s
Bring back forall and exists quantifiers (Closes #200) Deploy documentation to Pages #283: Commit 67ef314 pushed by filipeom
February 9, 2025 20:38 15m 36s main
main
February 9, 2025 20:38 15m 36s
Update README.md with how to install at least one solver (Closes #164) Deploy documentation to Pages #282: Commit 1c89bd4 pushed by filipeom
February 8, 2025 20:15 16m 47s main
main
February 8, 2025 20:15 16m 47s
Add floating-point operator Copysign (Closes #185) Deploy documentation to Pages #281: Commit 062100a pushed by filipeom
February 8, 2025 19:59 16m 1s main
main
February 8, 2025 19:59 16m 1s
Add sign extension to operators with unsigned counter parts (Closes #… Deploy documentation to Pages #280: Commit 5ac25aa pushed by filipeom
February 8, 2025 19:16 15m 35s main
main
February 8, 2025 19:16 15m 35s
Make dune-glob a dev dependency Deploy documentation to Pages #279: Commit df1cc11 pushed by filipeom
February 8, 2025 18:52 16m 1s main
main
February 8, 2025 18:52 16m 1s
Fixes Value.compare (Closes #210) Deploy documentation to Pages #278: Commit 13a3789 pushed by filipeom
February 8, 2025 15:53 16m 1s main
main
February 8, 2025 15:53 16m 1s
Fix project description (Closes #199) Deploy documentation to Pages #277: Commit 9253bf0 pushed by filipeom
February 7, 2025 22:33 15m 55s main
main
February 7, 2025 22:33 15m 55s