New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Pin port-compiler (pc) 1.15.0 #11

Merged

zmstone merged 3 commits into master from pin-pc-version

Oct 9, 2024

Owner

zmstone commented Oct 9, 2024 •

edited

Loading

fixes: #10

zmstone added 2 commits

October 9, 2024 12:38


          Pin port-compiler (pc) 1.15.0

871e717


          ci: use rebar3 3.24

812cccb

zmstone force-pushed the pin-pc-version branch from 2f5bbde to 812cccb Compare

October 9, 2024 10:39


          chore: delete .travis.yml

1dd0653

zmstone merged commit 849f20e into master

3 checks passed

zmstone deleted the pin-pc-version branch

October 9, 2024 10:41

Owner Author

zmstone commented Oct 9, 2024

1.2.10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet