Skip to content

Actions: ocaml/num

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use released versions of opam only (#37)
CI #60: Commit 1561698 pushed by xavierleroy
January 17, 2025 08:43 9m 2s master
January 17, 2025 08:43 9m 2s
Switch back to released opam versions in CI
CI #59: Pull request #37 synchronize by xavierleroy
January 17, 2025 08:42 7m 40s dra27:release-opam
January 17, 2025 08:42 7m 40s
OPAM: x-maintenance-intent continued
CI #58: Commit 6fdbf63 pushed by xavierleroy
January 17, 2025 08:30 9m 16s master
January 17, 2025 08:30 9m 16s
Update Github CI action to test released OCaml versions
CI #57: Commit 17d1df4 pushed by xavierleroy
January 16, 2025 10:52 12m 12s master
January 16, 2025 10:52 12m 12s
Update Github action to use setup-ocaml@v3
CI #56: Commit 460649b pushed by xavierleroy
January 16, 2025 10:35 18m 25s master
January 16, 2025 10:35 18m 25s
OPAM: x-maintenance-intent
CI #55: Commit d0235d7 pushed by xavierleroy
January 16, 2025 09:45 16m 4s master
January 16, 2025 09:45 16m 4s
Update ocaml/setup-ocaml to v3
CI #54: Pull request #42 opened by smorimoto
July 2, 2024 13:33 1h 22m 43s smorimoto:setup-ocaml-v3
July 2, 2024 13:33 1h 22m 43s
Install to lib/stublibs in legacy mode as well (#40)
CI #53: Commit f6e31b1 pushed by nojb
June 26, 2024 18:36 7m 47s master
June 26, 2024 18:36 7m 47s
Merge pull request #41 from dra27/ci
CI #51: Commit a2b9a58 pushed by dra27
June 26, 2024 17:36 14m 42s master
June 26, 2024 17:36 14m 42s
CI updates (again)
CI #50: Pull request #41 opened by dra27
June 26, 2024 17:05 14m 31s dra27:ci
June 26, 2024 17:05 14m 31s
Correct licence identifier
CI #46: Commit 0098a52 pushed by dra27
December 16, 2023 14:48 18m 8s master
December 16, 2023 14:48 18m 8s
Fix workflow (again)
CI #45: Commit 0aabb0f pushed by dra27
December 16, 2023 14:30 13m 50s master
December 16, 2023 14:30 13m 50s
Preparing release 1.5
CI #44: Commit 6138255 pushed by xavierleroy
December 15, 2023 12:31 28m 31s v1.5
December 15, 2023 12:31 28m 31s
Preparing release 1.5
CI #43: Commit 6138255 pushed by xavierleroy
December 15, 2023 12:29 15m 15s master
December 15, 2023 12:29 15m 15s