Skip to content
CI

feat: link against system GMP to remove gmp-mpfr-sys dependency #28

Sign in to view logs

feat: link against system GMP to remove gmp-mpfr-sys dependency

feat: link against system GMP to remove gmp-mpfr-sys dependency #28

Triggered via push June 25, 2024 09:38
@uulm-janbaudischuulm-janbaudisch
pushed 2877df9
main
Status Success
Total duration 5m 37s
Artifacts –

CI.yaml

on: push
Format
5m 10s
Format
Lint
5m 20s
Lint
Build
5m 27s
Build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
Format
unable to access 'https://github.com/SoftVarE-Group/d4-oxide/': Failed to connect to github.com port 443 after 134417 ms: Connection timed out
Format
unable to access 'https://github.com/SoftVarE-Group/d4-oxide/': Failed to connect to github.com port 443 after 134579 ms: Connection timed out
Format
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Lint
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, mozilla-actions/sccache-action@v0.0.3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, mozilla-actions/sccache-action@v0.0.3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.