Skip to content

Actions: OCamlPro/opam-cross-osx

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix csv-osx.2.4 package missing CI #66: Commit 240cf35 pushed by ddeclerck
23s master
master
23s
Fix csv-osx.2.4 package missing CI #65: Commit e089175 pushed by ddeclerck
14s master
master
14s
Add goblint-cil 2.0.2 CI #64: Commit e914e7c pushed by ddeclerck
51s master
master
51s
Add goblint-cil 2.0.2 CI #63: Commit 0cbb52e pushed by ddeclerck
56s master
master
56s
Merge pull request #11 from nberth/minor-fixes CI #62: Commit a1fe98d pushed by ddeclerck
41s master
master
41s
Explicitly execute opam-imported scripts with sh CI #61: Pull request #11 opened by nberth
12s nberth:minor-fixes
nberth:minor-fixes
12s
Merge pull request #8 from nberth/lwt-osx-fixes CI #60: Commit f86053a pushed by nberth
18s master
master
18s
Rename directories folder CI #59: Commit a06f718 pushed by ddeclerck
15s master
master
15s
Merge pull request #10 from emilienlemaire/digestif.1.3.0 CI #58: Commit ebcfe50 pushed by ddeclerck
15s master
master
15s
Merge pull request #9 from emilienlemaire/directories CI #57: Commit 665f1dc pushed by ddeclerck
13s master
master
13s
Add directories 0.7 CI #56: Pull request #9 synchronize by ddeclerck
13s emilienlemaire:directories
emilienlemaire:directories
13s
Add digestif 1.3.0 CI #55: Pull request #10 opened by emilienlemaire
11s emilienlemaire:digestif.1.3.0
emilienlemaire:digestif.1.3.0
11s
Add directories 0.7 CI #54: Pull request #9 opened by emilienlemaire
12s emilienlemaire:directories
emilienlemaire:directories
12s
lwt-osx.5.7.0: fix optional dependency management CI #53: Pull request #8 opened by nberth
14s nberth:lwt-osx-fixes
nberth:lwt-osx-fixes
14s
Merge pull request #7 from nberth/ez_file.0.4-5.0 CI #52: Commit 8e73cef pushed by nberth
10s master
master
10s
ez_file-osx.0.[45].0 CI #51: Pull request #7 opened by nberth
10s nberth:ez_file.0.4-5.0
nberth:ez_file.0.4-5.0
10s