Skip to content

Actions: dra27/num

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into release-opam
CI #44: Commit bb17142 pushed by xavierleroy
January 17, 2025 08:42 13m 31s release-opam
January 17, 2025 08:42 13m 31s
CI matrix update
CI #43: Pull request #2 synchronize by dra27
June 26, 2024 16:53 9m 42s ci
ci
June 26, 2024 16:53 9m 42s
Expand macOS testing to cover arm64+amd64
CI #42: Commit 6235dad pushed by dra27
June 26, 2024 16:53 8m 9s ci
ci
June 26, 2024 16:53 8m 9s
CI matrix update
CI #41: Pull request #2 synchronize by dra27
June 26, 2024 16:42 13m 8s ci
ci
June 26, 2024 16:42 13m 8s
Expand macOS testing to cover arm64+amd64
CI #40: Commit faa3c73 pushed by dra27
June 26, 2024 16:42 13m 14s ci
ci
June 26, 2024 16:42 13m 14s
CI matrix update
CI #39: Pull request #2 opened by dra27
June 26, 2024 16:33 12m 22s ci
ci
June 26, 2024 16:33 12m 22s
Switch to setup-ocaml@v3 for Windows support
CI #38: Commit 001392f pushed by dra27
June 26, 2024 16:28 12m 54s ci
ci
June 26, 2024 16:28 12m 54s
Correct licence identifier
CI #37: Commit 0098a52 pushed by dra27
June 26, 2024 16:23 10m 58s master
June 26, 2024 16:23 10m 58s