Skip to content

Actions: Chris00/L-BFGS-ocaml

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the OPAM file
Build and test #12: Commit 6a5fa64 pushed by Chris00
October 12, 2023 06:12 9m 42s 0.9.5
October 12, 2023 06:12 9m 42s
pages build and deployment
pages-build-deployment #3: by Chris00
October 12, 2023 06:12 56s gh-pages
October 12, 2023 06:12 56s
Fix the OPAM file
Build and test #11: Commit 6a5fa64 pushed by Chris00
October 12, 2023 06:04 14m 16s master
October 12, 2023 06:04 14m 16s
Fix the OPAM files
Build and test #10: Commit b496748 pushed by Chris00
October 12, 2023 06:02 16m 41s master
October 12, 2023 06:02 16m 41s
pages build and deployment
pages-build-deployment #2: by Chris00
October 3, 2023 21:55 46s gh-pages
October 3, 2023 21:55 46s
Add a lower bound on dune-configurator
Build and test #9: Commit 452c91d pushed by Chris00
October 3, 2023 21:54 8m 36s 0.9.5
October 3, 2023 21:54 8m 36s
Add a lower bound on dune-configurator
Build and test #8: Commit 452c91d pushed by Chris00
October 3, 2023 21:52 10m 10s master
October 3, 2023 21:52 10m 10s
Use int32_t (int323 is no longer provided by config.h)
Build and test #7: Commit f2885e3 pushed by Chris00
October 3, 2023 21:49 2m 52s master
October 3, 2023 21:49 2m 52s
pages build and deployment
pages-build-deployment #1: by Chris00
October 3, 2023 21:33 3m 55s gh-pages
October 3, 2023 21:33 3m 55s
Update changelog
Build and test #6: Commit 75ddf47 pushed by Chris00
October 3, 2023 21:22 10m 11s 0.9.5
October 3, 2023 21:22 10m 11s
Update changelog
Build and test #5: Commit 75ddf47 pushed by Chris00
October 3, 2023 21:21 53s master
October 3, 2023 21:21 53s
lbfgs_stubs: fix string/bytes mismatch
Build and test #4: Commit ef0a1ba pushed by Chris00
October 3, 2023 21:12 10m 34s master
October 3, 2023 21:12 10m 34s
Enable Github actions
Build and test #3: Commit 545a588 pushed by Chris00
October 3, 2023 21:01 9m 10s master
October 3, 2023 21:01 9m 10s
Enable Github actions
Build and test #2: Commit 85520ee pushed by Chris00
October 3, 2023 20:45 17m 3s master
October 3, 2023 20:45 17m 3s
Enable Github actions
Build and test #1: Commit 0118c26 pushed by Chris00
October 3, 2023 20:42 Failure master
October 3, 2023 20:42 Failure