Revert "Merge pull request #5400 from kit-ty-kate/no-gpatch" #2654
main.yml
on: pull_request
Analyse
8s
Cold-Linux
5m 11s
Matrix: Solvers-Linux
Matrix: Test-Linux
Matrix: Upgrade-Linux
Matrix: Solvers-macOS
Matrix: Upgrade-macOS
Matrix: Build-Windows
Annotations
27 warnings
Analyse
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-macOS (4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Cygwin
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (4.09.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (4.11.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Hygiene
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, Ana06/get-changed-files@v2.2.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Test-macOS (4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (5.1.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (4.10.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (4.12.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (4.08.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (4.13.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Linux (5.0.0)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Solvers-macOS (z3, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Upgrade-macOS (4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Solvers-macOS (0install, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Cold-Linux
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Upgrade-Linux (4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Solvers-Linux (z3, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Solvers-Linux (0install, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Test-Linux (4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ocaml-opam/cache@opam, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
opam-exe-i686-pc-windows-4.14.1-x86_64-pc-cygwin
Expired
|
9.93 MB |
|
opam-exe-x86_64-pc-windows-4.14.1-x86_64-pc-cygwin
Expired
|
12.3 MB |
|