Skip to content

Pull requests: Ptival/PeaCoq

New pull request New
11 Open 65 Closed
11 Open 65 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump @types/react from 16.14.11 to 17.0.15 in /web dependencies Pull requests that update a dependency file
#114 opened Jul 26, 2021 by dependabot-preview bot Loading…
Bump npm-check-updates from 2.14.2 to 11.8.3 in /web dependencies Pull requests that update a dependency file
#113 opened Jul 15, 2021 by dependabot-preview bot Loading…
Bump @types/react-dom from 16.9.14 to 17.0.9 in /web dependencies Pull requests that update a dependency file
#112 opened Jul 8, 2021 by dependabot-preview bot Loading…
Bump @types/d3-hierarchy from 1.1.8 to 3.0.2 in /web dependencies Pull requests that update a dependency file
#109 opened Jul 7, 2021 by dependabot-preview bot Loading…
Bump @types/d3-scale from 2.2.6 to 4.0.1 in /web dependencies Pull requests that update a dependency file
#106 opened Jul 2, 2021 by dependabot-preview bot Loading…
Bump @types/d3-path from 1.0.9 to 3.0.0 in /web dependencies Pull requests that update a dependency file
#103 opened Jun 28, 2021 by dependabot-preview bot Loading…
Bump @types/d3-selection from 1.4.3 to 3.0.0 in /web dependencies Pull requests that update a dependency file
#102 opened Jun 28, 2021 by dependabot-preview bot Loading…
Bump mathjax from 2.7.9 to 3.2.0 in /web dependencies Pull requests that update a dependency file
#98 opened Jun 18, 2021 by dependabot-preview bot Loading…
Bump d3-selection from 1.4.2 to 3.0.0 in /web dependencies Pull requests that update a dependency file
#94 opened Jun 8, 2021 by dependabot-preview bot Loading…
Bump d3-path from 1.0.9 to 3.0.1 in /web dependencies Pull requests that update a dependency file
#93 opened Jun 7, 2021 by dependabot-preview bot Loading…
Upgrade to GitHub-native Dependabot dependencies Pull requests that update a dependency file
#77 opened Apr 29, 2021 by dependabot-preview bot Loading…
1
ProTip! Exclude everything labeled bug with -label:bug.