-
Notifications
You must be signed in to change notification settings - Fork 47
Insights: jscoq/jscoq
Overview
-
- 8 Merged pull requests
- 7 Open pull requests
- 2 Closed issues
- 0 New issues
Could not load contribution data
Please try again later
8 Pull requests merged by 1 person
-
[ci] Use setup OCaml for OPAM setup
#387 merged
Jun 10, 2025 -
[ci] Build jsCoq artifact
#386 merged
Jun 10, 2025 -
[misc] Miscellaneous tweaks from other branches.
#384 merged
Jun 8, 2025 -
[ci] Build wacoq on CI
#383 merged
Jun 6, 2025 -
[ci] [misc] Mostly build and CI fixes, piled from non-working 8.20 branch
#382 merged
Jun 6, 2025 -
[build] [js] Update to jsoo 5.9.1 from 4.0.0
#372 merged
Jun 6, 2025 -
[docs] [README] Some updates following today's meeting.
#375 merged
Jun 5, 2025 -
[backend] Replace Future by Promise
#376 merged
Jun 5, 2025
7 Pull requests opened by 2 people
-
[wacoq] Modularize the implementation.
#385 opened
Jun 9, 2025 -
Bump braces from 3.0.2 to 3.0.3
#388 opened
Jun 10, 2025 -
Bump @octokit/request and @octokit/core
#389 opened
Jun 10, 2025 -
Bump webpack from 5.86.0 to 5.99.9
#390 opened
Jun 10, 2025 -
Bump @octokit/request-error and @octokit/core
#391 opened
Jun 10, 2025 -
Bump serialize-javascript and mocha
#392 opened
Jun 10, 2025 -
Bump esbuild and esbuild-sass-plugin
#393 opened
Jun 10, 2025
2 Issues closed by 1 person
-
Issue of the version in npm package
#381 closed
Jun 11, 2025 -
Can the 32-bit jsCoq target be cleaned up?
#304 closed
Jun 10, 2025
9 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
[bugfix] jsCoq worker does not load past 2.0 MB on FireFox
#378 commented on
Jun 10, 2025 • 0 new comments -
Support for 8.20
#359 commented on
Jun 10, 2025 • 0 new comments -
[roadmap] jsCoq 2.0
#337 commented on
Jun 10, 2025 • 0 new comments -
[wasm] Update runtime to 4.14.2
#362 commented on
Jun 10, 2025 • 0 new comments -
[wacoq] Make some backend calls to go thru the interpreter
#301 commented on
Jun 9, 2025 • 0 new comments -
[ui] Support Markdown preview and live editor hot-swap
#338 commented on
Jun 8, 2025 • 0 new comments -
[npm template] Mention css and adjust some paths
#353 commented on
Jun 8, 2025 • 0 new comments -
[jscoq] Unification of package manager among backends.
#373 commented on
Jun 8, 2025 • 0 new comments -
Updated token for Gist export
#374 commented on
Jun 8, 2025 • 0 new comments