Skip to content

experimental_reals: make psumZ rewrite direction explicit #293

experimental_reals: make psumZ rewrite direction explicit

experimental_reals: make psumZ rewrite direction explicit #293

Triggered via pull request July 28, 2026 07:27
@JasonGrossJasonGross
opened #2054
Status Failure
Total duration 15s
Artifacts –

nix-action-9.1-master.yml

on: pull_request_target
rocq-core
3s
rocq-core
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-finmap
0s
mathcomp-finmap
mathcomp
0s
mathcomp
micromega-plugin
0s
micromega-plugin
mathcomp-classical
0s
mathcomp-classical
mathcomp-analysis-single
0s
mathcomp-analysis-single
mathcomp-reals
0s
mathcomp-reals
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-experimental-reals
mathcomp-experimental-reals
mathcomp-analysis-stdlib
mathcomp-analysis-stdlib
mathcomp-infotheo
mathcomp-infotheo
Fit to window
Zoom out
Zoom in

Annotations

1 error
rocq-core
Refusing to check out fork pull request code from a 'pull_request_target' workflow. This workflow runs with the base repository's GITHUB_TOKEN, secrets, default-branch cache scope, and runner access. Fetching and executing a fork's code in that trusted context commonly leads to "pwn request" vulnerabilities. To opt in, review the risks at https://gh.io/securely-using-pull_request_target and set 'allow-unsafe-pr-checkout: true' on the actions/checkout step.