Skip to content

Actions: ocaml/Zarith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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