Merge pull request
#550 from epinault/epinault/fix-ex-doc
Pull request merge
jeremyjhpushed 3 commits to master • 501ecd7…08dab7a • on Nov 18, 2024
Merge pull request
#549 from pdm-jd/pdm-jd/fix/crash-on-custom-ignore…
Pull request merge
jeremyjhpushed 2 commits to master • b960c7d…7fadd55 • on Nov 12, 2024
Merge pull request
#547 from neel-desh/bugfix/rename-format-option
Pull request merge
Merge pull request
#543 from lnenad/master
Pull request merge
jeremyjhpushed 2 commits to master • b69c5d8…3768413 • on Sep 28, 2024
Fix matching of invalid_contract args. (
#541 )
Pull request merge
Yes, also an extra trailing arg.
Backwards compatibility with OTP 25 & earlier.
Fix matching of invalid_contract args.
Support multiple formatters (
#538 )
Pull request merge
Merge pull request
#540 from kianmeng/ci-housekeeping
Pull request merge
jeremyjhpushed 2 commits to master • a733acf…d8cb107 • on Aug 13, 2024
Merge pull request
#537 from sigu/upgrade-erlex
Pull request merge
jeremyjhpushed 2 commits to master • cece72c…a733acf • on Jul 22, 2024
Merge pull request
#535 from ProducerMatt/patch-1
Pull request merge
jeremyjhpushed 2 commits to master • 4d99c01…cece72c • on Jun 19, 2024
Merge pull request
#526 from maennchen/jm/fix_file_location_with_column
Pull request merge
jeremyjhpushed 2 commits to master • b928e39…0340de8 • on Dec 28, 2023
Merge pull request
#527 from maennchen/jm/warning_record_match
Pull request merge
Merge pull request
#524 from kianmeng/bump-apps-version-in-github-ci-…
Pull request merge
jeremyjhpushed 2 commits to master • 7d4653c…0091928 • on Nov 15, 2023
Merge pull request
#522 from jeremyjh/jh-bump-ver-1.4.2
Pull request merge
jeremyjhpushed 2 commits to master • e030c51…7d4653c • on Oct 21, 2023
Bump versions & changelog for release.
Merge pull request
#521 from solar05/patch-1
Pull request merge
jeremyjhpushed 2 commits to master • f15b991…e030c51 • on Oct 16, 2023
Merge pull request
#519 from David-Klemenc/then
Pull request merge
Merge pull request
#518 from peek-travel/deps-tree-perf-improvements
Pull request merge
jeremyjhpushed 2 commits to master • 0173ea5…b4167c0 • on Sep 16, 2023
You can’t perform that action at this time.