diff options
| author | coqbot-app[bot] | 2020-11-09 12:35:14 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-09 12:35:14 +0000 |
| commit | d2047c6368ae11a3a3fd7f2db8c991d135094e60 (patch) | |
| tree | 2daea7cd5ff57b752b22addb376ae2be44cf3b45 /kernel/nativecode.ml | |
| parent | 07472bc4526ba97b356c5bebee65d92719426f05 (diff) | |
| parent | 602af83f83cfce52c63e6123689126d50c49f30d (diff) | |
Merge PR #13310: Fix macOS CI on Azure.
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions