Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Pull requests: build-server-protocol/build-server-protocol

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
Assigned to nobody Loading
Sort

Pull requests list

Update README.md - maintainers list
#709 by tpasternak was merged Dec 11, 2024 Loading...
fix the branch with bumps for release
#708 by hb-man was merged Dec 9, 2024 Loading...
Bump the dev-dependencies group across 1 directory with 3 updates dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#706 by dependabot bot was closed Dec 1, 2024 Loading...
Bump cheerio from 1.0.0-rc.12 to 1.0.0 in /website in the dev-dependencies group dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#700 by dependabot bot was closed Nov 1, 2024 Loading...
[maintenance] Bump deps
#698 by agluszak was merged Sep 5, 2024 Loading...
Bump the dev-dependencies group across 1 directory with 5 updates dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#697 by dependabot bot was closed Sep 5, 2024 Loading...
Bump micromatch from 4.0.7 to 4.0.8 in /website dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#696 by dependabot bot was closed Sep 5, 2024 Loading...
fix docusaurus build
#695 by xuansontrinh was merged Sep 5, 2024 Loading...
Bump the dev-dependencies group in /website with 4 updates dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#694 by dependabot bot was closed Sep 5, 2024 Loading...
Bump webpack from 5.93.0 to 5.94.0 in /website dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#693 by dependabot bot was closed Sep 5, 2024 Loading...
Add optional data field to SourceItem
#692 by xuansontrinh was merged Sep 4, 2024 Loading...
Bump the dev-dependencies group across 1 directory with 2 updates dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#688 by dependabot bot was merged Aug 20, 2024 Loading...
Update scalafmt-core to 3.8.3
#687 by scala-steward was merged Aug 20, 2024 Loading...
Bump the dev-dependencies group in /website with 2 updates dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#685 by dependabot bot was closed Aug 1, 2024 Loading...
Fix page deployment (again)
#684 by agluszak was merged Jun 21, 2024 Loading...
Fix page deployment
#683 by agluszak was merged Jun 20, 2024 Loading...
Bump ws from 7.5.9 to 7.5.10 in /website dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#682 by dependabot bot was merged Aug 20, 2024 Loading...
Update scalafmt-core to 3.8.2
#681 by scala-steward was merged Jun 17, 2024 Loading...
More prominently advertise contributing entities
#680 by jastice was merged Jun 18, 2024 Loading...
Bump the dev-dependencies group in /website with 3 updates dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#677 by dependabot bot was merged Jun 5, 2024 Loading...
Update scalafmt-core to 3.8.1
#676 by scala-steward was merged May 31, 2024 Loading...
Split docs publishing and releasing artifacts to maven
#672 by agluszak was merged May 31, 2024 Loading...
Bump jvm deps
#671 by agluszak was merged May 31, 2024 Loading...
Enable Java formatting
#670 by agluszak was merged May 31, 2024 Loading...
Bump the dev-dependencies group across 1 directory with 7 updates dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#669 by dependabot bot was merged May 31, 2024 Loading...
Previous 1 3 4 5 21 22
Previous
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.

AltStyle によって変換されたページ (->オリジナル) /