Skip to content

Actions: ocaml/Zarith

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[build] [wip] Support for the dune build system v2 CI #242: Pull request #143 synchronize by hhugo
September 10, 2024 20:23 1m 45s hhugo:dune
hhugo:dune
September 10, 2024 20:23 1m 45s
Merge pull request #157 from dra27/msvc CI #241: Commit 29cc486 pushed by xavierleroy
September 9, 2024 17:04 43s master
master
September 9, 2024 17:04 43s
Steps towards MSVC support CI #240: Pull request #157 opened by dra27
September 8, 2024 13:32 1m 8s dra27:msvc
dra27:msvc
September 8, 2024 13:32 1m 8s
LibTomMath backend support CI #239: Pull request #155 opened by antoinemine
August 21, 2024 10:06 1m 3s features/tommath-support
features/tommath-support
August 21, 2024 10:06 1m 3s
remove hardcoded -g CI #238: Commit 0d88188 pushed by antoinemine
August 21, 2024 09:45 41s features/tommath-support
features/tommath-support
August 21, 2024 09:45 41s
Z_ARG or Z_REFRESH must be called after OCaml memory allocation CI #237: Commit 6b02421 pushed by antoinemine
August 21, 2024 09:17 36s features/tommath-support
features/tommath-support
August 21, 2024 09:17 36s
mp_init error checking in LibTomMath backend CI #236: Commit 906f475 pushed by antoinemine
August 21, 2024 08:46 33s features/tommath-support
features/tommath-support
August 21, 2024 08:46 33s
Cleaning. CI #235: Commit 47c5671 pushed by antoinemine
August 21, 2024 08:29 37s features/tommath-support
features/tommath-support
August 21, 2024 08:29 37s
added divisible to LibTomMath backend CI #234: Commit 34292cd pushed by antoinemine
August 20, 2024 21:27 39s features/tommath-support
features/tommath-support
August 20, 2024 21:27 39s
added hamdist to the LibTomMath backend CI #233: Commit f3e70f9 pushed by antoinemine
August 20, 2024 21:07 37s features/tommath-support
features/tommath-support
August 20, 2024 21:07 37s
added sqrt_rem to LibTomMath backend CI #232: Commit 9f9f146 pushed by antoinemine
August 20, 2024 20:53 44s features/tommath-support
features/tommath-support
August 20, 2024 20:53 44s
add bit extraction operations to LibTomMath backend CI #231: Commit e708423 pushed by antoinemine
August 20, 2024 19:54 35s features/tommath-support
features/tommath-support
August 20, 2024 19:54 35s
Merge branch 'master' into features/tommath-support CI #230: Commit 40059f3 pushed by antoinemine
August 20, 2024 12:24 1m 15s features/tommath-support
features/tommath-support
August 20, 2024 12:24 1m 15s
Update local OPAM file to reflect the one in the OPAM repository CI #229: Commit a079848 pushed by xavierleroy
July 15, 2024 12:54 34s master
master
July 15, 2024 12:54 34s
Updates for release 1.14 CI #228: Commit 667d742 pushed by xavierleroy
July 10, 2024 07:35 37s release-1.14
release-1.14
July 10, 2024 07:35 37s
Updates for release 1.14 CI #227: Commit 667d742 pushed by xavierleroy
July 10, 2024 07:33 34s master
master
July 10, 2024 07:33 34s
Switch to opam 2.2 for CI (#153) CI #226: Commit f71e859 pushed by xavierleroy
July 7, 2024 17:15 40s master
master
July 7, 2024 17:15 40s
Switch to opam 2.2 CI #225: Pull request #153 synchronize by hhugo
July 2, 2024 05:36 40s hhugo:opam22
hhugo:opam22
July 2, 2024 05:36 40s
Switch to opam 2.2 CI #224: Pull request #153 synchronize by hhugo
June 24, 2024 12:46 41s hhugo:opam22
hhugo:opam22
June 24, 2024 12:46 41s
Switch to opam 2.2 CI #223: Pull request #153 synchronize by hhugo
June 22, 2024 18:54 34s hhugo:opam22
hhugo:opam22
June 22, 2024 18:54 34s
Switch to opam 2.2 CI #222: Pull request #153 synchronize by hhugo
June 22, 2024 12:36 54s hhugo:opam22
hhugo:opam22
June 22, 2024 12:36 54s
Switch to opam 2.2 CI #221: Pull request #153 synchronize by hhugo
June 22, 2024 12:30 42s hhugo:opam22
hhugo:opam22
June 22, 2024 12:30 42s
Switch to opam 2.2 CI #220: Pull request #153 synchronize by hhugo
June 22, 2024 12:19 47s hhugo:opam22
hhugo:opam22
June 22, 2024 12:19 47s
Switch to opam 2.2 CI #219: Pull request #153 synchronize by hhugo
June 20, 2024 11:18 37s hhugo:opam22
hhugo:opam22
June 20, 2024 11:18 37s
Switch to opam 2.2 CI #218: Pull request #153 synchronize by hhugo
June 20, 2024 11:15 44s hhugo:opam22
hhugo:opam22
June 20, 2024 11:15 44s