Skip to content

Conversation

@lhoguin
Copy link
Contributor

@lhoguin lhoguin commented Jul 17, 2023

Let's wait for tests to go green before merge.

@mergify mergify bot added the make label Jul 17, 2023
@lhoguin lhoguin merged commit d89184c into main Jul 17, 2023
@lhoguin lhoguin deleted the loic-cleanup-erlangmk-repo branch July 17, 2023 10:01
@lhoguin
Copy link
Contributor Author

lhoguin commented Jul 17, 2023

Not super important to backport since the update is there mostly to bring in OTP-26 fixes.

@HoloRin
Copy link
Contributor

HoloRin commented Sep 21, 2023

Backporting so that our build comparison CI with match on the other branches

HoloRin added a commit that referenced this pull request Sep 21, 2023
Update Erlang.mk + small cleanup (backport #8881)
HoloRin added a commit that referenced this pull request Sep 21, 2023
Update Erlang.mk + small cleanup (backport #8881) (backport #9501)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants