Skip to content

Actions: ocaml/Zarith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build build #77: Scheduled
April 15, 2024 02:44 6m 32s master
master
April 15, 2024 02:44 6m 32s
build build #76: Scheduled
April 8, 2024 01:23 19m 5s master
master
April 8, 2024 01:23 19m 5s
build build #75: Scheduled
April 1, 2024 01:26 8m 43s master
master
April 1, 2024 01:26 8m 43s
build build #74: Scheduled
March 25, 2024 01:23 11m 48s master
master
March 25, 2024 01:23 11m 48s
build build #73: Scheduled
March 18, 2024 01:22 10m 21s master
master
March 18, 2024 01:22 10m 21s
build build #72: Scheduled
March 11, 2024 01:22 7m 6s master
master
March 11, 2024 01:22 7m 6s
build build #71: Scheduled
March 4, 2024 01:23 8m 53s master
master
March 4, 2024 01:23 8m 53s
build build #70: Scheduled
February 26, 2024 01:22 6m 49s master
master
February 26, 2024 01:22 6m 49s
build build #69: Scheduled
February 19, 2024 01:22 17m 45s master
master
February 19, 2024 01:22 17m 45s
build build #68: Scheduled
February 12, 2024 01:22 9m 35s master
master
February 12, 2024 01:22 9m 35s
build build #67: Scheduled
February 5, 2024 01:23 9m 51s master
master
February 5, 2024 01:23 9m 51s
build build #66: Scheduled
January 29, 2024 01:22 8m 54s master
master
January 29, 2024 01:22 8m 54s
build build #65: Scheduled
January 22, 2024 01:27 7m 42s master
master
January 22, 2024 01:27 7m 42s
build build #64: Scheduled
January 15, 2024 01:27 12m 0s master
master
January 15, 2024 01:27 12m 0s
build build #63: Scheduled
January 8, 2024 01:26 9m 15s master
master
January 8, 2024 01:26 9m 15s
CI: use OCaml 5.1.x instead of 5.0 build #62: Commit 5f8e5e2 pushed by xavierleroy
January 3, 2024 16:31 13m 56s master
master
January 3, 2024 16:31 13m 56s
CI: use OCaml 5.1.x instead of 5.0 CI #199: Commit 5f8e5e2 pushed by xavierleroy
January 3, 2024 16:31 1m 50s master
master
January 3, 2024 16:31 1m 50s
Fail when unmarshaling would produce non-canonical big integers (#149) CI #198: Commit d0a89ee pushed by xavierleroy
January 3, 2024 13:17 23m 13s master
master
January 3, 2024 13:17 23m 13s
Fail when unmarshaling would produce non-canonical big integers (#149) build #61: Commit d0a89ee pushed by xavierleroy
January 3, 2024 13:17 31m 49s master
master
January 3, 2024 13:17 31m 49s
Fail when unmarshaling would produce non-canonical big integers CI #197: Pull request #149 synchronize by xavierleroy
January 3, 2024 13:09 1m 30s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
January 3, 2024 13:09 1m 30s
Fail when unmarshaling would produce non-canonical big integers build #60: Pull request #149 synchronize by xavierleroy
January 3, 2024 13:09 7m 4s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
January 3, 2024 13:09 7m 4s
Fail when unmarshaling would produce non-canonical big integers build #59: Pull request #149 synchronize by xavierleroy
January 3, 2024 09:19 8m 30s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
January 3, 2024 09:19 8m 30s
Fail when unmarshaling would produce non-canonical big integers CI #196: Pull request #149 synchronize by xavierleroy
January 3, 2024 09:19 1m 31s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
January 3, 2024 09:19 1m 31s
Merge pull request #150 from xavierleroy/revised-hash CI #195: Commit 1898327 pushed by xavierleroy
January 3, 2024 09:09 1m 24s master
master
January 3, 2024 09:09 1m 24s
Merge pull request #150 from xavierleroy/revised-hash build #58: Commit 1898327 pushed by xavierleroy
January 3, 2024 09:09 11m 0s master
master
January 3, 2024 09:09 11m 0s