Skip to content

Actions: ocaml/Zarith

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build build #134: Scheduled
September 30, 2024 01:28 3m 23s master
master
September 30, 2024 01:28 3m 23s
build build #133: Scheduled
September 23, 2024 01:28 5m 7s master
master
September 23, 2024 01:28 5m 7s
build build #132: Scheduled
September 16, 2024 01:28 3m 37s master
master
September 16, 2024 01:28 3m 37s
[build] [wip] Support for the dune build system v2 build #131: Pull request #143 synchronize by hhugo
September 10, 2024 20:23 5m 23s hhugo:dune
hhugo:dune
September 10, 2024 20:23 5m 23s
Merge pull request #157 from dra27/msvc build #130: Commit 29cc486 pushed by xavierleroy
September 9, 2024 17:04 3m 34s master
master
September 9, 2024 17:04 3m 34s
build build #129: Scheduled
September 9, 2024 01:28 3m 14s master
master
September 9, 2024 01:28 3m 14s
Steps towards MSVC support build #128: Pull request #157 opened by dra27
September 8, 2024 13:32 3m 22s dra27:msvc
dra27:msvc
September 8, 2024 13:32 3m 22s
build build #127: Scheduled
September 2, 2024 01:28 3m 18s master
master
September 2, 2024 01:28 3m 18s
build build #126: Scheduled
August 26, 2024 01:28 11m 43s master
master
August 26, 2024 01:28 11m 43s
LibTomMath backend support build #125: Pull request #155 opened by antoinemine
August 21, 2024 10:06 3m 26s features/tommath-support
features/tommath-support
August 21, 2024 10:06 3m 26s
build build #124: Scheduled
August 19, 2024 01:28 4m 56s master
master
August 19, 2024 01:28 4m 56s
build build #123: Scheduled
August 12, 2024 01:28 11m 40s master
master
August 12, 2024 01:28 11m 40s
build build #122: Scheduled
August 5, 2024 01:28 10m 35s master
master
August 5, 2024 01:28 10m 35s
build build #121: Scheduled
July 29, 2024 01:28 3m 16s master
master
July 29, 2024 01:28 3m 16s
build build #120: Scheduled
July 22, 2024 01:28 3m 25s master
master
July 22, 2024 01:28 3m 25s
Update local OPAM file to reflect the one in the OPAM repository build #119: Commit a079848 pushed by xavierleroy
July 15, 2024 12:54 3m 19s master
master
July 15, 2024 12:54 3m 19s
build build #118: Scheduled
July 15, 2024 01:27 3m 13s master
master
July 15, 2024 01:27 3m 13s
Updates for release 1.14 build #117: Commit 667d742 pushed by xavierleroy
July 10, 2024 07:33 3m 9s master
master
July 10, 2024 07:33 3m 9s
build build #116: Scheduled
July 8, 2024 01:27 3m 24s master
master
July 8, 2024 01:27 3m 24s
Switch to opam 2.2 for CI (#153) build #115: Commit f71e859 pushed by xavierleroy
July 7, 2024 17:15 11m 39s master
master
July 7, 2024 17:15 11m 39s
Switch to opam 2.2 build #114: Pull request #153 synchronize by hhugo
July 2, 2024 05:36 10m 59s hhugo:opam22
hhugo:opam22
July 2, 2024 05:36 10m 59s
build build #113: Scheduled
July 1, 2024 01:28 6m 28s master
master
July 1, 2024 01:28 6m 28s
Switch to opam 2.2 build #112: Pull request #153 synchronize by hhugo
June 24, 2024 12:46 3m 25s hhugo:opam22
hhugo:opam22
June 24, 2024 12:46 3m 25s
build build #111: Scheduled
June 24, 2024 01:27 13m 29s master
master
June 24, 2024 01:27 13m 29s
Switch to opam 2.2 build #110: Pull request #153 synchronize by hhugo
June 22, 2024 18:54 3m 12s hhugo:opam22
hhugo:opam22
June 22, 2024 18:54 3m 12s