diff options
author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2022-06-18 01:42:00 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-17 18:42:00 +0200 |
commit | 719a0f5b15f31b57f3f9addebc8b8584c82a4225 (patch) | |
tree | 802948e28335c34c3c9bdb8e3ff4e0d019612030 /.github/workflows | |
parent | 8bfa64651bd2eb12066b2056545943e9d0553969 (diff) | |
download | ocaml-719a0f5b15f31b57f3f9addebc8b8584c82a4225.tar.gz |
Delete boot/ocamlrun before overwriting it (#11323)
This avoids nasty crashes on "Apple silicon" Mac and has no ill-effects on other platforms.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions