Skip to content
Nix CI for bundle 8.19

splitting function space topologies #89

Sign in to view logs

splitting function space topologies

splitting function space topologies #89

Triggered via pull request February 9, 2024 14:48
@zstone1zstone1
synchronize #1166
Status Success
Total duration 14m 28s
Artifacts –

nix-action-8.19.yml

on: pull_request_target
coq
1m 4s
coq
mathcomp
1m 1s
mathcomp
mathcomp-analysis
13m 7s
mathcomp-analysis
mathcomp-analysis-single
12m 25s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
coq
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
mathcomp
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
mathcomp-analysis-single
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
mathcomp-analysis
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.