Skip to content

Merge branch 'master' into master #8

Merge branch 'master' into master

Merge branch 'master' into master #8

Triggered via push September 4, 2023 15:44
Status Failure
Total duration 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Make PR on website repository with updated maintainers list
11s
Make PR on website repository with updated maintainers list
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Make PR on website repository with updated maintainers list
Input required and not supplied: token
Make PR on website repository with updated maintainers list
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/