Skip to content
Security

docs(research): formal synthesis paper unifying substrate + e2e framework #55

Sign in to view logs

docs(research): formal synthesis paper unifying substrate + e2e framework

docs(research): formal synthesis paper unifying substrate + e2e framework #55

Triggered via pull request July 11, 2026 17:47
@CodeWithJuberCodeWithJuber
synchronize #52
docs/formal-synthesis-paper
Status Failure
Total duration 15s
Artifacts 1

security.yml

on: pull_request
Secret scan (gitleaks)
13s
Secret scan (gitleaks)
Fit to window
Zoom out
Zoom in

Annotations

11 warnings
Secret scan (gitleaks)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: gitleaks/gitleaks-action@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.
Secret scan (gitleaks)
Error encountered when attempting to write a comment on PR #52: HttpError: Resource not accessible by integration Likely an issue with too large of a diff for the comment to be written. All secrets that have been leaked will be reported in the summary and job artifact.

Artifacts

Produced during runtime
Name Size Digest
gitleaks-results.sarif
8 KB
sha256:3c6d9edc83585cc08ef941b7d0d59555d1c4017aa92013d1eaa06e68c8af8caf