Skip to content

Actions: ocaml/Zarith

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
118 workflow runs
118 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
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 CI #194: Pull request #150 opened by xavierleroy
December 28, 2023 17:24 1m 4s xavierleroy:revised-hash
xavierleroy:revised-hash
December 28, 2023 17:24 1m 4s
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 CI #193: Pull request #149 reopened by xavierleroy
December 12, 2023 17:48 1m 0s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
December 12, 2023 17:48 1m 0s
Fail when unmarshaling would produce non-canonical big integers CI #192: Pull request #149 synchronize by xavierleroy
December 12, 2023 16:12 1m 16s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
December 12, 2023 16:12 1m 16s
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 CI #191: Pull request #149 opened by xavierleroy
December 11, 2023 13:50 1m 13s xavierleroy:cautious-unmarshaling
xavierleroy:cautious-unmarshaling
December 11, 2023 13:50 1m 13s
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
Fast path for Z.divisible on small arguments (#147) CI #190: Commit 524a489 pushed by xavierleroy
November 20, 2023 13:29 4m 58s master
master
November 20, 2023 13:29 4m 58s
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
Fast path for Z.divisible on small arguments CI #189: Pull request #147 opened by xavierleroy
November 12, 2023 09:58 11m 12s xavierleroy:faster-divisible
xavierleroy:faster-divisible
November 12, 2023 09:58 11m 12s