Skip to content

Actions: ocaml/Zarith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
build build #43: Scheduled
November 6, 2023 01:24 40m 39s master
master
November 6, 2023 01:24 40m 39s
Fix overflow error when compiling with LLVM 17. CI #188: Commit f7bb20b pushed by antoinemine
October 30, 2023 15:11 6m 27s features/tommath-support
features/tommath-support
October 30, 2023 15:11 6m 27s
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