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 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…
Use new runner with macOS Sonoma
#780 opened Feb 10, 2024 by wenkokke Loading…
Implement PGD for tensorflow backend backend:loss enhancement New feature or request
#681 opened Aug 16, 2023 by MatthewDaggitt Loading…
Add Agda CI script CI Continuous integration enhancement New feature or request
#557 opened May 30, 2023 by MatthewDaggitt Loading…
ProTip! Add no:assignee to see everything that’s not assigned.