diff options
| author | Théo Zimmermann | 2020-11-05 17:15:04 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-05 17:15:04 +0100 |
| commit | 602af83f83cfce52c63e6123689126d50c49f30d (patch) | |
| tree | d7d381ce82082235212aed16da7b4ad4893ded36 /kernel/nativecode.mli | |
| parent | afc828b3e207dd39c59d1501d570a88b2012fd2c (diff) | |
Fix macOS CI / disable bundle generation.
Fix macOS CI build by removing the failing 'brew update' step and
unpinning homebrew.
Unfortunately, because of problems discovered in #12672 during the
previous attempt to fix #12657, this makes the bundle generation step
fail.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions