Skip to content

Actions: OCamlPro/owi

Actions

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
251 workflow runs
251 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
improve shell.nix deploy #696: Commit cd54ee7 pushed by redianthus
46m 11s main
main
46m 11s
update shell.nix to easily override some compiler options deploy #695: Commit d7b472c pushed by redianthus
46m 56s main
main
46m 56s
Prepare for smtml.0.25.0 deploy #694: Commit 26b6c9a pushed by redianthus
8m 50s main
main
8m 50s
fix string of known length read in memory deploy #693: Commit 8357ccd pushed by redianthus
8m 53s main
main
8m 53s
more documentation improvements deploy #692: Commit 2dbc261 pushed by redianthus
8m 4s main
main
8m 4s
move things out of the doc to make it a proposer User Manual deploy #691: Commit 96628b5 pushed by redianthus
7m 39s main
main
7m 39s
define OWI_NO_MACROS in owi.c deploy #690: Commit f109b9a pushed by redianthus
8m 23s main
main
8m 23s
add arch ci deploy #689: Commit 9d156a9 pushed by redianthus
8m 15s main
main
8m 15s
use more upstream packages deploy #688: Commit cffc0bb pushed by redianthus
7m 51s main
main
7m 51s
promote test deploy #687: Commit 7fb7af2 pushed by redianthus
21m 42s main
main
21m 42s
various updates to fix CI deploy #686: Commit e033131 pushed by redianthus
21m 52s main
main
21m 52s
Switch from Yojson.Basic to Yojson.Safe (following smtml) deploy #685: Commit f124910 pushed by redianthus
2m 16s main
main
2m 16s
distinguish null_terminated and known-length strings in the API deploy #684: Commit ffdd56a pushed by redianthus
6m 5s main
main
6m 5s
add ability to name all symbols in the C API deploy #683: Commit a50fe0e pushed by redianthus
5m 44s main
main
5m 44s
add timeout and timeout-instr parameters to symbolic parameters deploy #682: Commit e40dcfa pushed by redianthus
6m 9s main
main
6m 9s
hide the solver instances in Solver deploy #681: Commit 59fabf7 pushed by redianthus
5m 32s main
main
5m 32s
clean some code deploy #680: Commit 846998c pushed by redianthus
2m 34s main
main
2m 34s
bump smtml to 0.22.0 deploy #679: Commit 9d03a7c pushed by redianthus
2m 36s main
main
2m 36s
switch to latest symex and add equalities optimizations deploy #678: Commit 81969f5 pushed by redianthus
6m 11s main
main
6m 11s
use latest cmdliner deploy #677: Commit bddf3ae pushed by redianthus
5m 57s main
main
5m 57s
fix validate text format too deploy #676: Commit 1c5129b pushed by redianthus
44m 33s main
main
44m 33s
Update WebAssembly testsuite submodule (2026-02-23) deploy #675: Commit bbed352 pushed by hra687261
12m 5s main
main
12m 5s
update some dependencies deploy #674: Commit f50edf2 pushed by redianthus
27s main
main
27s
use 5.4 stdlib stuff deploy #673: Commit c2cb700 pushed by redianthus
25s main
main
25s
use latest version of various packages deploy #672: Commit f565521 pushed by redianthus
26s main
main
26s