Skip to content

FIX github accounts that do not have public names #450

FIX github accounts that do not have public names

FIX github accounts that do not have public names #450

Triggered via push February 6, 2024 01:54
Status Success
Total duration 4m 2s
Artifacts

main-ci.yml

on: push
Matrix: Test api
Matrix: Test shell autograde
Matrix: Build images
Build shell autograde
46s
Build shell autograde
Deploy to Anubis k8s cluster
37s
Deploy to Anubis k8s cluster
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Test shell autograde (3.7)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Test shell autograde (3.10)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Test api (3.10)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.