Skip to content

Pull requests: potassco/clingofmt

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

Add github actions
#1 by sthiele was merged Jan 3, 2022 Loading…
Bump clap from 3.0.1 to 3.0.4 dependencies Pull requests that update a dependency file
#2 by dependabot bot was merged Jan 5, 2022 Loading…
Bump clap from 3.0.4 to 3.0.5 dependencies Pull requests that update a dependency file
#3 by dependabot bot was merged Jan 6, 2022 Loading…
Bump clap from 3.0.5 to 3.0.6 dependencies Pull requests that update a dependency file
#4 by dependabot bot was merged Jan 12, 2022 Loading…
address issue 6
#7 by sthiele was merged Jan 17, 2022 Loading…
Next
#8 by sthiele was merged Jan 17, 2022 Loading…
St/wip
#14 by sthiele was merged Jan 27, 2022 Loading…
Next
#62 by sthiele was merged Aug 24, 2022 Loading…
Next
#63 by sthiele was merged Aug 25, 2022 Loading…
Consider missing nodes not marked as error
#64 by sthiele was merged Aug 25, 2022 Loading…
Polish
#65 by sthiele was merged Aug 25, 2022 Loading…
Next
#66 by sthiele was merged Aug 26, 2022 Loading…
Next
#67 by sthiele was merged Aug 26, 2022 Loading…
Next
#82 by sthiele was merged Sep 30, 2022 Loading…
Various style improvements
#87 by sthiele was merged Oct 3, 2022 Loading…
Style adjustements
#88 by sthiele was merged Oct 3, 2022 Loading…
Merge version 0.1.1 into main branch
#119 by sthiele was merged Apr 30, 2024 Loading…
Bump env_logger from 0.9.3 to 0.11.3 dependencies Pull requests that update a dependency file
#120 by dependabot bot was merged May 3, 2024 Loading…
Bump tree-sitter from 0.22.5 to 0.22.6 dependencies Pull requests that update a dependency file
#121 by dependabot bot was merged May 7, 2024 Loading…
Bump anyhow from 1.0.82 to 1.0.83 dependencies Pull requests that update a dependency file
#122 by dependabot bot was merged May 7, 2024 Loading…
Bump anyhow from 1.0.83 to 1.0.86 dependencies Pull requests that update a dependency file
#123 by dependabot bot was merged May 21, 2024 Loading…
Bump clap from 4.5.4 to 4.5.7 dependencies Pull requests that update a dependency file
#126 by dependabot bot was merged Jun 28, 2024 Loading…
Bump tree-sitter-clingo from 0.0.13 to 0.0.14 dependencies Pull requests that update a dependency file
#127 by dependabot bot was merged Jun 26, 2024 Loading…
Bump log from 0.4.21 to 0.4.22 dependencies Pull requests that update a dependency file
#128 by dependabot bot was merged Jun 28, 2024 Loading…
Bump clap from 3.0.6 to 3.0.7 dependencies Pull requests that update a dependency file
#5 by dependabot bot was closed Jan 17, 2022 Loading…
ProTip! Exclude everything labeled bug with -label:bug.