Skip to content
Extract and Run - Coq

Coq small fixes #15

Sign in to view logs

Coq small fixes

Coq small fixes #15

Triggered via pull request November 16, 2024 02:33
@cmester0cmester0
synchronize #1108
coq-small-fixes
Status Failure
Total duration 50s
Artifacts –

extract_and_run_coq.yml

on: pull_request
build
39s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
EACCES: permission denied, open '/__w/_temp/_runner_file_commands/set_output_8e07d7ad-6c80-448a-ae09-68de60d66057'
build
Error: EACCES: permission denied, open '/__w/_temp/_runner_file_commands/set_output_8e07d7ad-6c80-448a-ae09-68de60d66057' at Object.writeFileSync (node:fs:2346:20) at Object.appendFileSync (node:fs:2427:6) at issueFileCommand (/__w/_actions/Swatinem/rust-cache/v2/dist/restore/index.js:5938:8) at Object.setOutput (/__w/_actions/Swatinem/rust-cache/v2/dist/restore/index.js:5713:52) at setCacheHitOutput (/__w/_actions/Swatinem/rust-cache/v2/dist/restore/index.js:77919:14) at run (/__w/_actions/Swatinem/rust-cache/v2/dist/restore/index.js:77913:9) at /__w/_actions/Swatinem/rust-cache/v2/dist/restore/index.js:77921:1 at /__w/_actions/Swatinem/rust-cache/v2/dist/restore/index.js:77923:3 at Object.<anonymous> (/__w/_actions/Swatinem/rust-cache/v2/dist/restore/index.js:77926:12) at Module._compile (node:internal/modules/cjs/loader:1358:14)
build
Process completed with exit code 50.