Skip to content

Actions: OCamlPro/opam-wix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mingw unify opam wix #99: Pull request #27 synchronize by hernoufM
March 22, 2024 15:39 6m 17s hernoufM:mingw-unify
hernoufM:mingw-unify
March 22, 2024 15:39 6m 17s
Merge pull request #24 from hernoufM/embed-options opam wix #98: Commit 156ae48 pushed by hernoufM
March 22, 2024 14:50 12m 50s master
master
March 22, 2024 14:50 12m 50s
Embed options opam wix #97: Pull request #24 synchronize by hernoufM
March 22, 2024 14:48 6m 7s hernoufM:embed-options
hernoufM:embed-options
March 22, 2024 14:48 6m 7s
Embed options opam wix #96: Pull request #24 synchronize by rjbou
March 21, 2024 18:20 6m 1s hernoufM:embed-options
hernoufM:embed-options
March 21, 2024 18:20 6m 1s
Embed options opam wix #95: Pull request #24 synchronize by hernoufM
March 21, 2024 17:10 6m 3s hernoufM:embed-options
hernoufM:embed-options
March 21, 2024 17:10 6m 3s
Embed options opam wix #94: Pull request #24 synchronize by hernoufM
March 21, 2024 16:39 6m 52s hernoufM:embed-options
hernoufM:embed-options
March 21, 2024 16:39 6m 52s
Embed options opam wix #93: Pull request #24 synchronize by hernoufM
March 21, 2024 16:37 21s hernoufM:embed-options
hernoufM:embed-options
March 21, 2024 16:37 21s
Embed options opam wix #92: Pull request #24 synchronize by hernoufM
March 21, 2024 16:13 6m 17s hernoufM:embed-options
hernoufM:embed-options
March 21, 2024 16:13 6m 17s
Embed options opam wix #91: Pull request #24 synchronize by hernoufM
March 21, 2024 15:52 12m 44s hernoufM:embed-options
hernoufM:embed-options
March 21, 2024 15:52 12m 44s
Merge pull request #26 from rjbou/cli opam wix #90: Commit 5b0c90a pushed by rjbou
February 20, 2024 14:47 14m 3s master
master
February 20, 2024 14:47 14m 3s
Mingw unify opam wix #89: Pull request #27 synchronize by hernoufM
February 9, 2024 16:18 6m 16s hernoufM:mingw-unify
hernoufM:mingw-unify
February 9, 2024 16:18 6m 16s
Mingw unify opam wix #88: Pull request #27 synchronize by hernoufM
February 9, 2024 15:53 6m 17s hernoufM:mingw-unify
hernoufM:mingw-unify
February 9, 2024 15:53 6m 17s
Mingw unify opam wix #87: Pull request #27 opened by hernoufM
February 9, 2024 15:52 6m 5s hernoufM:mingw-unify
hernoufM:mingw-unify
February 9, 2024 15:52 6m 5s
Embed options opam wix #86: Pull request #24 synchronize by hernoufM
February 9, 2024 14:51 13m 23s hernoufM:embed-options
hernoufM:embed-options
February 9, 2024 14:51 13m 23s
Merge pull request #25 from hernoufM/master opam wix #85: Commit 1533271 pushed by rjbou
February 9, 2024 14:49 13m 46s master
master
February 9, 2024 14:49 13m 46s
Fixing test opam wix #84: Pull request #25 synchronize by rjbou
January 18, 2024 11:17 6m 16s hernoufM:master
hernoufM:master
January 18, 2024 11:17 6m 16s
Fixing test opam wix #83: Pull request #25 synchronize by rjbou
January 18, 2024 10:11 12m 18s hernoufM:master
hernoufM:master
January 18, 2024 10:11 12m 18s
Fixing test opam wix #82: Pull request #25 synchronize by rjbou
January 4, 2024 19:14 2m 31s hernoufM:master
hernoufM:master
January 4, 2024 19:14 2m 31s
Fixing test opam wix #81: Pull request #25 synchronize by rjbou
January 4, 2024 19:09 2m 17s hernoufM:master
hernoufM:master
January 4, 2024 19:09 2m 17s
opam: use current cli (2.1), not default (2.0) opam wix #80: Pull request #26 opened by rjbou
December 19, 2023 17:28 12m 30s rjbou:cli
rjbou:cli
December 19, 2023 17:28 12m 30s
Fixing test opam wix #79: Pull request #25 synchronize by rjbou
December 19, 2023 17:24 12m 17s hernoufM:master
hernoufM:master
December 19, 2023 17:24 12m 17s
Embed options opam wix #78: Pull request #24 synchronize by hernoufM
December 19, 2023 15:57 2m 14s hernoufM:embed-options
hernoufM:embed-options
December 19, 2023 15:57 2m 14s
Embed options opam wix #77: Pull request #24 synchronize by hernoufM
December 19, 2023 15:47 2m 27s hernoufM:embed-options
hernoufM:embed-options
December 19, 2023 15:47 2m 27s
Embed options opam wix #76: Pull request #24 synchronize by hernoufM
December 19, 2023 15:25 3m 18s hernoufM:embed-options
hernoufM:embed-options
December 19, 2023 15:25 3m 18s
Fixing test opam wix #75: Pull request #25 opened by hernoufM
December 19, 2023 15:14 24s hernoufM:master
hernoufM:master
December 19, 2023 15:14 24s