Updated token for Gist export #374
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This is WIP. CHANGES: - we bump to jsoo 5.8.2 as it seems to work great on coq-lsp - dune 3.16 promotion of directory targets is broken due to ... TODOs: - test - fix dune - port interruption fix from coq-lsp
<
10000
/div>
Let's try to understand why the CI is not run on push.
Tested and working, WASM needs fixing for both this and for Coq 8.20 dllperf stubs.
Removes [postcss](https://github.com/postcss/postcss). It's no longer used after updating ancestor dependency [vue-loader](https://github.com/vuejs/vue-loader). These dependencies need to be updated together. Removes `postcss` Updates `vue-loader` from 15.11.1 to 17.4.2 - [Release notes](https://github.com/vuejs/vue-loader/releases) - [Changelog](https://github.com/vuejs/vue-loader/blob/main/CHANGELOG.md) - [Commits](vuejs/vue-loader@v15.11.1...v17.4.2) --- updated-dependencies: - dependency-name: postcss dependency-type: indirect - dependency-name: vue-loader dependency-type: direct:development ... Signed-off-by: dependabot[bot] <support@github.com>
…-9122fdd9e9 Bump postcss and vue-loader
[ci] Quote branches properly to try to fix CI
Another step towards restoring CI.
[ci] Don't double-build pull requests hosted in main repos.
[docker] [ci] Have docker CI use the jscoq branch in pull request builds
Hopefully this is a good step towards making everything work fine in the now commond jsCoq/waCoq build.
[build] Fix `make dist`, remove wacoq Docker build
[build] Bump node from 16 to 22 LTS
[docker] Bump build action to v6
We configure the build in 3 stages: - system deps of Coq (apt, wasi) - opam deps of Coq and jsCoq (ocaml-level) - jscoq itself This should speed the build up, improve logs, and is IMHO a bit more principled and in-sync with the way caching works in CI these days. We use a naming scheme for the stages `coq-base`, `jscoq-base`.
[docker] Streamline Docker stages
[docker] Bump Debian base Docker to Debian 12
This is a bugfix, likely due to change on the semantics of directory targets.
… works Note this required a change from npm `http-server` to more modern `serve` package.
[build] `make serve` now properly sets headers so `SharedArrayBuffer` works
Didn't properly see the docs that require `branches` content to be escaped for regex symbols.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The previous token was a fine-grained token that expires after one year. The current one is a classic one which should work indefinitely (or at least until GitHub starts disallowing these tokens).