Skip to content

Actions: c-cube/sidekick

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
test config build #600: Commit 1971d2a pushed by c-cube
2m 15s main
main
2m 15s
bump min version for smtlib-utils build #599: Commit c295d22 pushed by c-cube
2m 19s main
main
2m 19s
makefile build #598: Commit 94f178d pushed by c-cube
2m 20s main
main
2m 20s
gitignore build #597: Commit 701f185 pushed by c-cube
5m 30s main
main
5m 30s
delete plugin build #596: Commit 1daf8d6 pushed by c-cube
2m 11s main
main
2m 11s
fix compilation error build #595: Commit f7a04f1 pushed by c-cube
2m 19s main
main
2m 19s
refactor: Rrplace Veci and Vec_float with polymorphic Vec build #594: Commit 9812871 pushed by c-cube
2m 13s main
main
2m 13s
format build #593: Commit d191317 pushed by c-cube
2m 7s main
main
2m 7s
gitignore build #592: Commit 83cef9e pushed by c-cube
5m 43s main
main
5m 43s
Confirm OCaml 5.4 compatibility build #591: Pull request #23 opened by c-cube
4m 31s ocaml-5.4-build-test
ocaml-5.4-build-test
4m 31s