Skip to content

Pull requests: Enderchief/piston

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

update
#24 opened Feb 12, 2024 by Enderchief Loading…
Bump semver from 7.3.5 to 7.5.2 in /cli dependencies Pull requests that update a dependency file
#21 opened Jun 30, 2023 by dependabot bot Loading…
feat: agda 2.6.4
#11 opened Feb 27, 2023 by Enderchief Loading…
build(deps): bump minimatch from 3.0.4 to 3.0.5 in /cli dependencies Pull requests that update a dependency file
#2 opened Feb 16, 2023 by dependabot bot Loading…
ProTip! Updated in the last three days: updated:>2024-12-13.