Migrate Aeneas to the Lean module system #3855
oliver-butterleyci.yml
on: pull_request
select-runner
/
select
4s
nix
1m 37s
charon-pin-is-forward
21s
charon-pin-is-merged
18s
userdocs
9s
lean
6m 9s
Annotations
7 errors and 18 warnings
|
userdocs
no submodule mapping found in .gitmodules for path '.repo-activity-data/spqr/repo'
|
|
diff_lean_files
no submodule mapping found in .gitmodules for path '.repo-activity-data/spqr/repo'
|
|
charon-pin-is-merged
no submodule mapping found in .gitmodules for path '.repo-activity-data/spqr/repo'
|
|
charon-pin-is-forward
no submodule mapping found in .gitmodules for path '.repo-activity-data/spqr/repo'
|
|
nix
Process completed with exit code 1.
|
|
nix
no submodule mapping found in .gitmodules for path '.repo-activity-data/spqr/repo'
|
|
lean
no submodule mapping found in .gitmodules for path '.repo-activity-data/spqr/repo'
|
|
userdocs
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
userdocs
The process '/nix/store/1k2lblqlj39azh6wn1sffa2869vrg3mr-git-2.54.0/bin/git' failed with exit code 128
|
|
userdocs
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
diff_lean_files
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
diff_lean_files
The process '/nix/store/1k2lblqlj39azh6wn1sffa2869vrg3mr-git-2.54.0/bin/git' failed with exit code 128
|
|
diff_lean_files
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
charon-pin-is-merged
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
charon-pin-is-merged
The process '/nix/store/1k2lblqlj39azh6wn1sffa2869vrg3mr-git-2.54.0/bin/git' failed with exit code 128
|
|
charon-pin-is-merged
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
charon-pin-is-forward
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
charon-pin-is-forward
The process '/nix/store/1k2lblqlj39azh6wn1sffa2869vrg3mr-git-2.54.0/bin/git' failed with exit code 128
|
|
charon-pin-is-forward
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
nix
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
nix
The process '/nix/store/1k2lblqlj39azh6wn1sffa2869vrg3mr-git-2.54.0/bin/git' failed with exit code 128
|
|
nix
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
lean
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
lean
The process '/nix/store/1k2lblqlj39azh6wn1sffa2869vrg3mr-git-2.54.0/bin/git' failed with exit code 128
|
|
lean
Unable to clean or reset the repository. The repository will be recreated instead.
|