Skip to content

Actions: ocaml/Zarith

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
111 workflow runs
111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Switch to opam 2.2 build #109: Pull request #153 synchronize by hhugo
June 22, 2024 12:36 3m 31s hhugo:opam22
hhugo:opam22
June 22, 2024 12:36 3m 31s
Switch to opam 2.2 build #108: Pull request #153 synchronize by hhugo
June 22, 2024 12:30 3m 6s hhugo:opam22
hhugo:opam22
June 22, 2024 12:30 3m 6s
Switch to opam 2.2 build #107: Pull request #153 synchronize by hhugo
June 22, 2024 12:19 11m 8s hhugo:opam22
hhugo:opam22
June 22, 2024 12:19 11m 8s
Switch to opam 2.2 build #106: Pull request #153 synchronize by hhugo
June 20, 2024 11:18 6h 0m 40s hhugo:opam22
hhugo:opam22
June 20, 2024 11:18 6h 0m 40s
Switch to opam 2.2 build #105: Pull request #153 synchronize by hhugo
June 20, 2024 11:15 3m 9s hhugo:opam22
hhugo:opam22
June 20, 2024 11:15 3m 9s
Switch to opam 2.2 build #104: Pull request #153 synchronize by hhugo
June 20, 2024 11:13 6h 0m 23s hhugo:opam22
hhugo:opam22
June 20, 2024 11:13 6h 0m 23s
Switch to opam 2.2 build #103: Pull request #153 synchronize by hhugo
June 20, 2024 11:11 6h 0m 43s hhugo:opam22
hhugo:opam22
June 20, 2024 11:11 6h 0m 43s
Switch to opam 2.2 build #102: Pull request #153 synchronize by hhugo
June 20, 2024 10:52 6h 0m 26s hhugo:opam22
hhugo:opam22
June 20, 2024 10:52 6h 0m 26s