Enable usage of github runner file commands #436
JasonGrosscoq-demo.yml
on: pull_request
Matrix: coq_version / docker-coq / opam
Matrix: custom_image / docker-mathcomp / opam
Matrix: custom_image / docker-coq / make / script
Matrix: custom_image / docker-coq / make / custom_script
Matrix: custom_image / docker-coq / opam / env
Matrix: custom_image / docker-coq / opam / auto install depexts
Matrix: custom_image / docker-coq / opam / apt-get install more
Matrix: custom_image / docker-coq / opam+make / upload-artifacts
Annotations
117 errors and 26 warnings
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_02eead47-4f8e-4ad0-97af-4dd23a5c2047' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_02eead47-4f8e-4ad0-97af-4dd23a5c2047' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_02eead47-4f8e-4ad0-97af-4dd23a5c2047' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_5328a671-5417-4e70-84e1-f34c3d42c65c' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_6b57f727-f952-47a9-b34c-d743bd3b946e' is denied.
|
|
coq_version / docker-coq / opam (8.18, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_9493d08a-1e35-498c-840d-8a1cccdab444' is denied.
|
|
coq_version / docker-coq / opam (8.18, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_aaab0ca1-be8e-4b55-9a80-031c0852a38e' is denied.
|
|
coq_version / docker-coq / opam (8.18, default)
Unable to process file command 'env' successfully.
|
|
coq_version / docker-coq / opam (8.18, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_a386d84d-f848-4978-93cf-087a41e84632' is denied.
|
|
coq_version / docker-coq / opam (8.18, default)
Unable to process file command 'state' successfully.
|
|
coq_version / docker-coq / opam (8.18, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_a386d84d-f848-4978-93cf-087a41e84632' is denied.
|
|
coq_version / docker-coq / opam (8.18, default)
Unable to process file command 'output' successfully.
|
|
coq_version / docker-coq / opam (8.18, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_a386d84d-f848-4978-93cf-087a41e84632' is denied.
|
|
coq_version / docker-coq / opam (dev, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_eda3a3b9-655b-4845-ae0f-959722cb6576' is denied.
|
|
coq_version / docker-coq / opam (dev, default)
Unable to process file command 'env' successfully.
|
|
coq_version / docker-coq / opam (dev, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_0b032a34-b79e-416a-b2c8-6f21920c68b9' is denied.
|
|
coq_version / docker-coq / opam (dev, default)
Unable to process file command 'state' successfully.
|
|
coq_version / docker-coq / opam (dev, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_0b032a34-b79e-416a-b2c8-6f21920c68b9' is denied.
|
|
coq_version / docker-coq / opam (dev, default)
Unable to process file command 'output' successfully.
|
|
coq_version / docker-coq / opam (dev, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_0b032a34-b79e-416a-b2c8-6f21920c68b9' is denied.
|
|
coq_version / docker-coq / opam (dev, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_f6e8074a-516f-4b7c-a316-e529d8a86474' is denied.
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_c5e44d2c-7212-4355-958b-ac6ed8a44d30' is denied.
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_fd7b5143-86c0-4f51-9667-363ad216f158' is denied.
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_fd7b5143-86c0-4f51-9667-363ad216f158' is denied.
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_fd7b5143-86c0-4f51-9667-363ad216f158' is denied.
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_0755093b-e61b-4896-b58f-b7faa6c789a8' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_eeeb7af8-6081-44a1-9285-a777542f1e1d' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_ef6344ca-b5b5-4b26-b57b-0ed4b6a68b0a' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_ef6344ca-b5b5-4b26-b57b-0ed4b6a68b0a' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_ef6344ca-b5b5-4b26-b57b-0ed4b6a68b0a' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_23d07b77-0c4e-473b-8f9f-8e7dd74c7d41' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_97fe0aa9-b67d-4b46-b7a7-089e46595b83' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_f3bc2d40-4302-4e86-a33e-8abe3fa6cdd5' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_c4dcd708-cc40-428d-be1e-d40109080b76' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_c4dcd708-cc40-428d-be1e-d40109080b76' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_c4dcd708-cc40-428d-be1e-d40109080b76' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_1ad6c6f5-4ae7-4781-9155-8e1185d3ee9e' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_1ad6c6f5-4ae7-4781-9155-8e1185d3ee9e' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_1ad6c6f5-4ae7-4781-9155-8e1185d3ee9e' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_47e04425-0c13-4f2d-a52d-90a3fe27e8f0' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_2c429017-978c-477a-9090-19cc58870e1f' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_4759504e-13cd-4b39-af80-c07c6a9a1de8' is denied.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_ffb1c580-1292-4023-a2c1-5f7b086317e5' is denied.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_b4cc3efa-b11f-42a3-9589-50fd08b9637f' is denied.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_9634e7bf-f067-4d95-941d-9d5df0371cb2' is denied.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_9634e7bf-f067-4d95-941d-9d5df0371cb2' is denied.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_9634e7bf-f067-4d95-941d-9d5df0371cb2' is denied.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_edb115ea-3e5b-48d4-827b-d018bb79700b' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_b15423bd-ef7d-4106-bcda-e4aae4cd3c25' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_198b25c7-28a9-4e31-bb01-342d84c781ab' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_825ab34d-8d39-41fe-92e3-604b1b1ae614' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_825ab34d-8d39-41fe-92e3-604b1b1ae614' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_825ab34d-8d39-41fe-92e3-604b1b1ae614' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_6ad3aafc-f023-4779-8fb6-1988265befd6' is denied.
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_4fe6d02b-db1f-4489-9b84-9677a7aba5c9' is denied.
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_7dd82cab-e8e8-4705-b313-0ae69745e76c' is denied.
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_2a27dd09-975d-442d-a971-a0c53cabdc76' is denied.
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_2a27dd09-975d-442d-a971-a0c53cabdc76' is denied.
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_2a27dd09-975d-442d-a971-a0c53cabdc76' is denied.
|
|
coq_version / docker-coq / opam (latest-native, default)
Unable to process file command 'env' successfully.
|
|
coq_version / docker-coq / opam (latest-native, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_7ff6f702-131d-45e2-817f-0522a9ff0c19' is denied.
|
|
coq_version / docker-coq / opam (latest-native, default)
Unable to process file command 'state' successfully.
|
|
coq_version / docker-coq / opam (latest-native, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_7ff6f702-131d-45e2-817f-0522a9ff0c19' is denied.
|
|
coq_version / docker-coq / opam (latest-native, default)
Unable to process file command 'output' successfully.
|
|
coq_version / docker-coq / opam (latest-native, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_7ff6f702-131d-45e2-817f-0522a9ff0c19' is denied.
|
|
coq_version / docker-coq / opam (latest-native, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_3abdbdce-32a1-4f5a-bca5-051cee7d898a' is denied.
|
|
coq_version / docker-coq / opam (latest-native, default)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_df3deede-e711-4557-a8e3-6418704ec229' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_82578804-6f72-40fb-8f58-96004660aa86' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_82578804-6f72-40fb-8f58-96004660aa86' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_82578804-6f72-40fb-8f58-96004660aa86' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_d5ae2e92-5ea0-4121-811b-398c0599bcaf' is denied.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_373ac3bd-cbdd-4219-a3f8-47554c76ca6d' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_2c776fc1-edea-422d-98d2-32c36e1bb85c' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_9df4af75-b5ab-467e-9e09-a006de18608f' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_3e1735b5-24e4-4d11-a2ab-db2fab293538' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_ae14feea-e836-49c3-9388-b6d7108bfde3' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_ae14feea-e836-49c3-9388-b6d7108bfde3' is denied.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_ae14feea-e836-49c3-9388-b6d7108bfde3' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Unable to process file command 'env' successfully.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_env_949add9e-1e8c-4831-87d0-6a089df014ec' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Unable to process file command 'state' successfully.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/save_state_949add9e-1e8c-4831-87d0-6a089df014ec' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Unable to process file command 'output' successfully.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/set_output_949add9e-1e8c-4831-87d0-6a089df014ec' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_97c7e6e3-3801-485b-83d7-660d0ecc1332' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_bdeed30e-49e7-499e-8f22-3ea41dda218c' is denied.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Access to the path '/home/runner/work/_temp/_runner_file_commands/add_path_cb55ee63-83ce-458f-b5b2-09d372e356b6' is denied.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Interpreting this declaration as if a global declaration prefixed by
|
|
coq_version / docker-coq / opam (8.18, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
coq_version / docker-coq / opam (8.18, default)
Interpreting this declaration as if a global declaration prefixed by
|
|
coq_version / docker-coq / opam (dev, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
coq_version / docker-coq / opam (dev, default)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-coq / make / script (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
coq_version / docker-coq / opam (latest-native, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
coq_version / docker-coq / opam (latest-native, default)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-coq / make / script (coqorg/coq:dev)
Interpreting this declaration as if a global declaration prefixed by
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Interpreting this declaration as if a global declaration prefixed by
|