Cachix

typo in link #143

Sign in to view logs

Triggered via pull request March 7, 2024 13:02

ybertot

opened #24

ybertot:typo-march-7

Status Failure

Total duration 52m 41s

Artifacts –

nix.yml

on: pull_request

Computing matrix of tested versions

Matrix: Build mathcomp and coq combination

Generate summary

Annotations

2 errors and 46 warnings

Generate summary

Error: Pushing to https://github.com/ybertot/math-comp-nix remote: Permission to ybertot/math-comp-nix.git denied to github-actions[bot]. fatal: unable to access 'https://github.com/ybertot/math-comp-nix/': The requested URL returned error: 403

Generate summary

Error: Pushing to https://github.com/ybertot/math-comp-nix remote: Permission to ybertot/math-comp-nix.git denied to github-actions[bot]. fatal: unable to access 'https://github.com/ybertot/math-comp-nix/': The requested URL returned error: 403

Computing matrix of tested versions

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Computing matrix of tested versions

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Build mathcomp and coq combination (8.11, 1.12.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.12, 1.13.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.11, 1.10.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.11, 1.11.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.10, 1.9.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.14, 1.14.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.11, 1.13.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.13, 1.16.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.14, 1.13.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.11, 1.14.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.10, 1.10.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.10, 1.11.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.10, 1.12.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.12, 1.11.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.13, 1.12.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.12, 1.12.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.13, 1.15.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.12, 1.14.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.13, 1.13.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.13, 1.14.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.15, 1.15.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.14, 1.15.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.15, 1.16.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.15, 1.14.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.16, 1.16.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.16, 1.17.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.7, 1.9.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.14, 1.16.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.17, 1.17.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.7, 1.8.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.8, 1.10.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.16, 1.15.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.8, 1.11.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.15, 1.17.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.17, 1.16.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.7, 1.10.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.9, 1.11.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.7, 1.11.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.8, 1.9.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.8, 1.8.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.9, 1.9.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.9, 1.10.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build mathcomp and coq combination (8.9, 1.8.0)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Generate summary

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.