Skip to content

Actions: ocaml/Zarith

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
build build #57: Scheduled
January 1, 2024 01:27 11m 16s master
master
January 1, 2024 01:27 11m 16s
Use standard hash function for Z.hash and add Z.seeded_hash build #56: Pull request #150 opened by xavierleroy
December 28, 2023 17:24 7m 1s xavierleroy:revised-hash
xavierleroy:revised-hash
December 28, 2023 17:24 7m 1s
build build #55: Scheduled
December 25, 2023 01:25 14m 23s master
master
December 25, 2023 01:25 14m 23s
build build #54: Scheduled
December 18, 2023 01:25 44m 2s master
master
December 18, 2023 01:25 44m 2s
Fail when unmarshaling would produce non-canonical big integers build #53: Pull request #149 reopened by xavierleroy
December 12, 2023 17:48 16m 49s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
December 12, 2023 17:48 16m 49s
Fail when unmarshaling would produce non-canonical big integers build #52: Pull request #149 synchronize by xavierleroy
December 12, 2023 16:12 8m 29s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
December 12, 2023 16:12 8m 29s
Fail when unmarshaling would produce non-canonical big integers build #51: Pull request #149 opened by xavierleroy
December 11, 2023 13:50 9m 41s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
December 11, 2023 13:50 9m 41s
build build #50: Scheduled
December 11, 2023 01:25 7m 56s master
master
December 11, 2023 01:25 7m 56s
build build #49: Scheduled
December 4, 2023 01:25 17m 58s master
master
December 4, 2023 01:25 17m 58s
build build #48: Scheduled
November 27, 2023 01:25 18m 48s master
master
November 27, 2023 01:25 18m 48s
Fast path for Z.divisible on small arguments (#147) build #47: Commit 524a489 pushed by xavierleroy
November 20, 2023 13:29 13m 20s master
master
November 20, 2023 13:29 13m 20s
build build #46: Scheduled
November 20, 2023 01:25 9m 6s master
master
November 20, 2023 01:25 9m 6s
build build #45: Scheduled
November 13, 2023 01:25 13m 27s master
master
November 13, 2023 01:25 13m 27s
Fast path for Z.divisible on small arguments build #44: Pull request #147 opened by xavierleroy
November 12, 2023 09:58 34m 5s xavierleroy:faster-divisible
xavierleroy:faster-divisible
November 12, 2023 09:58 34m 5s
build build #43: Scheduled
November 6, 2023 01:24 40m 39s master
master
November 6, 2023 01:24 40m 39s
build build #42: Scheduled
October 30, 2023 01:23 14m 38s master
master
October 30, 2023 01:23 14m 38s
build build #41: Scheduled
October 23, 2023 01:23 27m 53s master
master
October 23, 2023 01:23 27m 53s
build build #40: Scheduled
October 16, 2023 01:23 18m 19s master
master
October 16, 2023 01:23 18m 19s
build build #39: Scheduled
October 9, 2023 01:22 14m 14s master
master
October 9, 2023 01:22 14m 14s
build build #38: Scheduled
October 2, 2023 01:23 19m 32s master
master
October 2, 2023 01:23 19m 32s
build build #37: Scheduled
September 25, 2023 01:23 22m 29s master
master
September 25, 2023 01:23 22m 29s
build build #36: Scheduled
September 18, 2023 01:22 13m 16s master
master
September 18, 2023 01:22 13m 16s
build build #35: Scheduled
September 11, 2023 01:22 18m 23s master
master
September 11, 2023 01:22 18m 23s