Skip to content

Actions: ocaml/Zarith

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

CI.yml
44 workflow runs
44 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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 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 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
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
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 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
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
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
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
Hash function improvements CI #187: Pull request #145 opened by vouillon
August 2, 2023 11:12 1m 16s vouillon:hash
vouillon:hash
August 2, 2023 11:12 1m 16s
Merge pull request #144 from hhugo/jsoo-doc CI #186: Commit 9b19c59 pushed by antoinemine
July 24, 2023 10:01 13m 52s master
master
July 24, 2023 10:01 13m 52s
[build] [wip] Support for the dune build system v2 CI #185: Pull request #143 synchronize by hhugo
July 21, 2023 11:25 4m 46s hhugo:dune
hhugo:dune
July 21, 2023 11:25 4m 46s
Document js_of_ocaml support CI #184: Pull request #144 opened by hhugo
July 20, 2023 12:35 1m 9s hhugo:jsoo-doc
hhugo:jsoo-doc
July 20, 2023 12:35 1m 9s
Revert #124 CI #183: Commit b975908 pushed by xavierleroy
July 19, 2023 18:02 3m 55s release-1.13
release-1.13
July 19, 2023 18:02 3m 55s
Revert #124 CI #182: Commit b975908 pushed by xavierleroy
July 19, 2023 17:59 1m 39s master
master
July 19, 2023 17:59 1m 39s
Updates for release 1.13 CI #181: Commit 94f674e pushed by xavierleroy
July 19, 2023 09:15 1m 53s release-1.13
release-1.13
July 19, 2023 09:15 1m 53s
Updates for release 1.13 CI #180: Commit 94f674e pushed by xavierleroy
July 19, 2023 08:59 1m 32s master
master
July 19, 2023 08:59 1m 32s
[build] [wip] Support for the dune build system v2 CI #179: Pull request #143 synchronize by hhugo
July 18, 2023 22:02 4m 35s hhugo:dune
hhugo:dune
July 18, 2023 22:02 4m 35s
[build] [wip] Support for the dune build system v2 CI #178: Pull request #143 synchronize by hhugo
July 18, 2023 14:56 2h 38m 14s hhugo:dune
hhugo:dune
July 18, 2023 14:56 2h 38m 14s
[build] [wip] Support for the dune build system v2 CI #177: Pull request #143 synchronize by hhugo
July 18, 2023 14:50 2h 35m 52s hhugo:dune
hhugo:dune
July 18, 2023 14:50 2h 35m 52s
[build] [wip] Support for the dune build system v2 CI #176: Pull request #143 synchronize by hhugo
July 18, 2023 14:48 2h 30m 7s hhugo:dune
hhugo:dune
July 18, 2023 14:48 2h 30m 7s
[build] [wip] Support for the dune build system v2 CI #175: Pull request #143 synchronize by hhugo
July 18, 2023 14:46 2h 24m 49s hhugo:dune
hhugo:dune
July 18, 2023 14:46 2h 24m 49s