8000 Pull requests · jscoq/jscoq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Pull requests: jscoq/jscoq

New pull request New
13 Open 192 Closed
13 Open 192 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump esbuild and esbuild-sass-plugin dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#393 opened Jun 10, 2025 by dependabot bot Loading…
Bump serialize-javascript and mocha dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#392 opened Jun 10, 2025 by dependabot bot Loading…
Bump @octokit/request-error and @octokit/core dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#391 opened Jun 10, 2025 by dependabot bot Loading…
Bump webpack from 5.86.0 to 5.99.9 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#390 opened Jun 10, 2025 by dependabot bot Loading…
Bump @octokit/request and @octokit/core dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#389 opened Jun 10, 2025 by dependabot bot Loading…
Bump braces from 3.0.2 to 3.0.3 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#388 opened Jun 10, 2025 by dependabot bot Loading…
[wacoq] Modularize the implementation.
#385 opened Jun 9, 2025 by ejgallego • Draft
Updated token for Gist export
#374 opened Sep 24, 2024 by Eladkay Loading…
[jscoq] Unification of package manager among backends.
#373 opened Sep 19, 2024 by ejgallego • Draft
1
Ensure jsCoq can be loaded from a cross-origin CDN such as jsDelivr
#354 opened Nov 10, 2023 by praalhans Loading… 2.0
@ejgallego
22
[npm template] Mention css and adjust some paths kind: cleanup kind: documentation
#353 opened Nov 10, 2023 by ejgallego Loading… 2.0
[ui] Support Markdown preview and live editor hot-swap
#338 opened Jul 30, 2023 by ejgallego Loading… 2.0
[wacoq] Make some backend calls to go thru the interpreter
#301 opened Oct 18, 2022 by ejgallego • Draft 2.0
3
ProTip! What’s not been updated in a month: updated:<2025-05-28.
0