Skip to content

Actions: ocaml/Zarith

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
118 workflow runs
118 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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 build #23: Commit b975908 pushed by xavierleroy
July 19, 2023 17:59 16m 6s master
master
July 19, 2023 17:59 16m 6s
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
Updates for release 1.13 build #22: Commit 94f674e pushed by xavierleroy
July 19, 2023 08:59 10m 19s master
master
July 19, 2023 08:59 10m 19s
[build] [wip] Support for the dune build system v2 build #21: Pull request #143 synchronize by hhugo
July 18, 2023 22:02 13m 16s hhugo:dune
hhugo:dune
July 18, 2023 22:02 13m 16s
[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 build #20: Pull request #143 synchronize by hhugo
July 18, 2023 14:56 2h 46m 2s hhugo:dune
hhugo:dune
July 18, 2023 14:56 2h 46m 2s
[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 build #19: Pull request #143 synchronize by hhugo
July 18, 2023 14:50 2h 47m 16s hhugo:dune
hhugo:dune
July 18, 2023 14:50 2h 47m 16s
[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 build #18: Pull request #143 synchronize by hhugo
July 18, 2023 14:48 2h 42m 15s hhugo:dune
hhugo:dune
July 18, 2023 14:48 2h 42m 15s
[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 build #17: Pull request #143 synchronize by hhugo
July 18, 2023 14:46 2h 35m 7s hhugo:dune
hhugo:dune
July 18, 2023 14:46 2h 35m 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
[build] [wip] Support for the dune build system v2 build #16: Pull request #143 synchronize by hhugo
July 18, 2023 14:43 2h 38m 47s hhugo:dune
hhugo:dune
July 18, 2023 14:43 2h 38m 47s
[build] [wip] Support for the dune build system v2 CI #174: Pull request #143 synchronize by hhugo
July 18, 2023 14:43 2h 17m 51s hhugo:dune
hhugo:dune
July 18, 2023 14:43 2h 17m 51s
[build] [wip] Support for the dune build system v2 CI #173: Pull request #143 synchronize by hhugo
July 18, 2023 14:40 2h 19m 53s hhugo:dune
hhugo:dune
July 18, 2023 14:40 2h 19m 53s
[build] [wip] Support for the dune build system v2 build #15: Pull request #143 synchronize by hhugo
July 18, 2023 14:40 2h 25m 12s hhugo:dune
hhugo:dune
July 18, 2023 14:40 2h 25m 12s
[build] [wip] Support for the dune build system v2 build #14: Pull request #143 opened by hhugo
July 18, 2023 14:28 1h 59m 16s hhugo:dune
hhugo:dune
July 18, 2023 14:28 1h 59m 16s
[build] [wip] Support for the dune build system v2 CI #172: Pull request #143 opened by hhugo
July 18, 2023 14:28 1h 46m 38s hhugo:dune
hhugo:dune
July 18, 2023 14:28 1h 46m 38s
More precise bounds for of_float conversion to small ints (#137) build #13: Commit 1958fd6 pushed by xavierleroy
July 18, 2023 13:01 3h 18m 24s master
master
July 18, 2023 13:01 3h 18m 24s
More precise bounds for of_float conversion to small ints (#137) CI #171: Commit 1958fd6 pushed by xavierleroy
July 18, 2023 13:01 29m 18s master
master
July 18, 2023 13:01 29m 18s
config.guess is no more CI #170: Commit 6cc5793 pushed by xavierleroy
July 18, 2023 09:49 2m 16s master
master
July 18, 2023 09:49 2m 16s