- Notifications
You must be signed in to change notification settings - Fork471
Use Eio for parallelizing some analysis commands#7840
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
base:master
Are you sure you want to change the base?
Uh oh!
There was an error while loading.Please reload this page.
Changes from1 commit
8c01864951b61defec169ea3636f4fc600e63ceb382357c2e58d1393966836bb956b140663fc5b2653771c1e29997f9e2b4d74fcc43527088d9d7f0a72edafFile filter
Filter by extension
Conversations
Uh oh!
There was an error while loading.Please reload this page.
Jump to
Uh oh!
There was an error while loading.Please reload this page.
Diff view
Diff view
- Loading branch information
Uh oh!
There was an error while loading.Please reload this page.
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -96,7 +96,7 @@ jobs: | ||
| uses: awalsh128/cache-apt-pkgs-action@v1.4.3 | ||
| with: | ||
| # See https://github.com/ocaml/setup-ocaml/blob/b2105f9/packages/setup-ocaml/src/unix.ts#L9 | ||
CopilotAI | ||
| packages: bubblewrap darcs g++-multilib gcc-multilib mercurial musl-tools rsync linux-libc-dev dpkg-dev | ||
| version: v3 | ||
| - name: Restore rewatch build cache | ||
| @@ -256,7 +256,12 @@ jobs: | ||
| - name: Build compiler (Linux static) | ||
| if: runner.os == 'Linux' | ||
| run: | | ||
| # ocaml-option-static sets CC=musl-gcc. On Ubuntu multiarch, Linux UAPI headers | ||
| # live under /usr/include/$(dpkg-architecture -qDEB_HOST_MULTIARCH), which musl-gcc | ||
| # doesn't search by default. Inject that include dir only for this build via CC. | ||
| arch=$(dpkg-architecture -qDEB_HOST_MULTIARCH) | ||
| CC="musl-gcc -idirafter /usr/include/$arch" opam exec -- dune build --display quiet --profile static | ||
| - name: Delete stable compiler build state | ||
| if: github.event_name == 'push' && github.ref == 'refs/heads/master' | ||
Uh oh!
There was an error while loading.Please reload this page.