Unexpected input(s) 'name', 'authToken', 'extraPullNames', valid inputs are ['extra_nix_config', 'github_access_token', 'install_url', 'install_options', 'nix_path']

Could not find a terminator for warning: File "./contrib/SetoidRewrite.v", line 13, characters 0-30: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-8.21,deprecated,default]

"From Coq" has been replaced by "From Stdlib".

Could not find a terminator for warning: File "./contrib/SetoidRewrite.v", line 16, characters 0-32: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-8.21,deprecated,default]

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

The following actions uses node12 which is deprecated and will be forced to run on node16: geekyeggo/delete-artifact@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: geekyeggo/delete-artifact@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Unable to delete artifact "alectryon-html"; the artifact was not found.

Unable to delete artifact "workspace-8.19"; the artifact was not found.

Unable to delete artifact "file-dep-graphs"; the artifact was not found.

Unable to delete artifact "timing-html"; the artifact was not found.

Unable to delete artifact "workspace-dev"; the artifact was not found.

Unable to delete artifact "coqdoc-html"; the artifact was not found.

Unable to delete artifact "dep-graphs"; the artifact was not found.