Skip to content

Actions: savonet/ocaml-metadata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/main' into bigarray2 Build #88: Commit 6853e84 pushed by toots
December 13, 2023 22:39 3m 30s bigarray2
bigarray2
December 13, 2023 22:39 3m 30s
Simpler. Build #87: Commit 11749ea pushed by smimram
December 13, 2023 22:19 3m 52s main
main
December 13, 2023 22:19 3m 52s
Simpler. Documentation #64: Commit 11749ea pushed by smimram
December 13, 2023 22:19 3m 50s main
main
December 13, 2023 22:19 3m 50s
Switch to custom_parser. Build #86: Commit 7051050 pushed by toots
December 13, 2023 18:29 3m 37s bigarray2
bigarray2
December 13, 2023 18:29 3m 37s
Simplify. Documentation #63: Commit e6520b4 pushed by smimram
December 13, 2023 18:19 4m 8s main
main
December 13, 2023 18:19 4m 8s
Simplify. Build #85: Commit e6520b4 pushed by smimram
December 13, 2023 18:19 3m 55s main
main
December 13, 2023 18:19 3m 55s
Update here too. Documentation #62: Commit 682d7e7 pushed by smimram
December 13, 2023 18:19 3m 46s main
main
December 13, 2023 18:19 3m 46s
Update here too. Build #84: Commit 682d7e7 pushed by smimram
December 13, 2023 18:19 3m 50s main
main
December 13, 2023 18:19 3m 50s
A bit more doc. Build #83: Commit af19f1e pushed by smimram
December 13, 2023 18:18 4m 44s main
main
December 13, 2023 18:18 4m 44s
A bit more doc. Documentation #61: Commit af19f1e pushed by smimram
December 13, 2023 18:18 3m 51s main
main
December 13, 2023 18:18 3m 51s
Even simpler. Build #82: Commit 7653b42 pushed by smimram
December 13, 2023 15:56 3m 37s main
main
December 13, 2023 15:56 3m 37s
Even simpler. Documentation #60: Commit 7653b42 pushed by smimram
December 13, 2023 15:56 3m 36s main
main
December 13, 2023 15:56 3m 36s
Doc. Build #81: Commit 5e6a1d5 pushed by smimram
December 13, 2023 15:27 3m 47s bigarray2
bigarray2
December 13, 2023 15:27 3m 47s
Add on_bigarray. Build #80: Commit 8110947 pushed by smimram
December 13, 2023 15:25 3m 58s bigarray2
bigarray2
December 13, 2023 15:25 3m 58s
Add max_size. Build #79: Commit 3f68eef pushed by smimram
December 13, 2023 11:45 3m 44s bigarray2
bigarray2
December 13, 2023 11:45 3m 44s
Update version. Documentation #59: Commit 481e6fe pushed by smimram
December 13, 2023 11:20 3m 41s main
main
December 13, 2023 11:20 3m 41s
Update version. Build #78: Commit 481e6fe pushed by smimram
December 13, 2023 11:20 4m 31s main
main
December 13, 2023 11:20 4m 31s
This syntax is apparently not handled by github. Documentation #58: Commit c8036e0 pushed by smimram
December 13, 2023 11:16 3m 56s main
main
December 13, 2023 11:16 3m 56s
This syntax is apparently not handled by github. Build #77: Commit c8036e0 pushed by smimram
December 13, 2023 11:16 4m 13s main
main
December 13, 2023 11:16 4m 13s
Merge branch 'main' into bigarray Build #76: Commit a910569 pushed by smimram
December 13, 2023 11:02 3m 43s bigarray
bigarray
December 13, 2023 11:02 3m 43s
Update this too. Build #75: Commit c4e6863 pushed by smimram
December 13, 2023 10:58 7m 1s main
main
December 13, 2023 10:58 7m 1s
Update this too. Documentation #57: Commit c4e6863 pushed by smimram
December 13, 2023 10:58 6m 41s main
main
December 13, 2023 10:58 6m 41s
Rename. Build #74: Commit fa9e8dc pushed by smimram
December 13, 2023 10:57 7m 36s main
main
December 13, 2023 10:57 7m 36s
Rename. Documentation #56: Commit fa9e8dc pushed by smimram
December 13, 2023 10:57 6m 22s main
main
December 13, 2023 10:57 6m 22s
Update CI. Documentation #55: Commit 50bb3e4 pushed by smimram
December 13, 2023 10:57 1s main
main
December 13, 2023 10:57 1s