Skip to content

Pull requests: vehicle-lang/vehicle

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Bump pypa/cibuildwheel from 2.19.2 to 2.22.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#862 opened Nov 25, 2024 by dependabot bot Loading…
[pre-commit.ci] pre-commit autoupdate
#829 opened Jul 22, 2024 by pre-commit-ci bot Loading…
Bump mrkkrp/ormolu-action from 15 to 16 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#821 opened Jun 17, 2024 by dependabot bot Loading… v0.16
Use new runner with macOS Sonoma
#780 opened Feb 10, 2024 by wenkokke Loading…
Add Agda CI script CI Continuous integration enhancement New feature or request
#557 opened May 30, 2023 by MatthewDaggitt Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.