Repository navigation
fix(ci): semantic-audit-check fails closed instead of printing a pass #134
static-analysis-gate.yml
on: pull_request
panic-attack assail
8s
Hypatia neurosymbolic scan
29s
Patch Bridge CVE triage
6s
Deposit findings for gitbot-fleet
9s
Annotations
8 errors, 10 warnings, and 6 notices
|
Hypatia neurosymbolic scan:
ffi/zig/src/bridge.zig#L173
[hypatia] Zig @ptrCast performs unchecked pointer type conversion (3 occurrences, CWE-704, line 173, 226, 750)
|
|
Hypatia neurosymbolic scan:
beam/native/src/beam.zig#L139
[hypatia] Zig @aligncast performs unchecked alignment cast (1 occurrences, CWE-704, line 139)
|
|
Hypatia neurosymbolic scan:
beam/native/src/beam.zig#L139
[hypatia] Zig @ptrCast performs unchecked pointer type conversion (1 occurrences, CWE-704, line 139)
|
|
Hypatia neurosymbolic scan:
beam/native/src/lith_nif.zig#L293
[hypatia] Zig @aligncast performs unchecked alignment cast (7 occurrences, CWE-704, line 293, 319, 409, 449, 488, 613, 686)
|
|
Hypatia neurosymbolic scan:
beam/native/src/lith_nif.zig#L293
[hypatia] Zig @ptrCast performs unchecked pointer type conversion (8 occurrences, CWE-704, line 293, 319, 409, 449, 488, 613, 686, 815)
|
|
Hypatia neurosymbolic scan:
core-zig/src/bridge.zig#L227
[hypatia] Zig @aligncast performs unchecked alignment cast (12 occurrences, CWE-704, line 227, 273, 323, 398, 435, 517, 576, 607, 714, 782, 830, 877)
|
|
Hypatia neurosymbolic scan:
core-zig/src/bridge.zig#L213
[hypatia] Zig @ptrCast performs unchecked pointer type conversion (14 occurrences, CWE-704, line 213, 227, 273, 308, 323, 398, 435, 517, 576, 607, 714, 782, 830, 877)
|
|
Hypatia neurosymbolic scan:
beam/native_rust/src/lib.rs#L74
[hypatia] from_raw constructs types from raw pointers without safety checks (10 occurrences, CWE-676, line 74, 239, 341, 366, 413, 450, 476, 518, 563, 606)
|
|
Hypatia neurosymbolic scan:
.github/workflows/test-suite.yml#L1
[hypatia] Job `test-forth` in test-suite.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
|
|
Hypatia neurosymbolic scan:
.github/workflows/test-suite.yml#L1
[hypatia] Job `test-ffi` in test-suite.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
|
|
Hypatia neurosymbolic scan:
.github/workflows/labels.yml#L1
[hypatia] Job `sync` in labels.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
|
|
Hypatia neurosymbolic scan:
.github/workflows/label-triage.yml#L1
[hypatia] Job `triage` in label-triage.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
|
|
Hypatia neurosymbolic scan:
.github/workflows/ci.yml#L1
[hypatia] Job `test-forth` in ci.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
|
|
Hypatia neurosymbolic scan:
.github/workflows/ci.yml#L1
[hypatia] Job `test-ffi` in ci.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
|
|
Hypatia neurosymbolic scan:
.github/workflows/ci.yml#L1
[hypatia] Job `build-zig` in ci.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
|
|
Hypatia neurosymbolic scan:
.github/workflows/sonarqube.yml#L1
[hypatia] Action `SonarSource/sonarqube-scan-action@v8.3.0` in sonarqube.yml is not pinned to a commit SHA — `v8.3.0` is a tag, and a tag can be moved to a different commit. Pin it to a full 40-character commit SHA, with the version in a trailing comment.
|
|
Hypatia neurosymbolic scan:
.github/workflows/quality.yml#L1
[hypatia] Action `trufflesecurity/trufflehog@v3.97.9` in quality.yml is not pinned to a commit SHA — `v3.97.9` is a tag, and a tag can be moved to a different commit. Pin it to a full 40-character commit SHA, with the version in a trailing comment.
|
|
Hypatia neurosymbolic scan:
.github/workflows/pages.yml#L1
[hypatia] Action `haskell-actions/setup@v2.12.1` in pages.yml is not pinned to a commit SHA — `v2.12.1` is a tag, and a tag can be moved to a different commit. Pin it to a full 40-character commit SHA, with the version in a trailing comment.
|
|
Patch Bridge CVE triage
panic-attack binary not available — skipping Patch Bridge
|
|
Patch Bridge CVE triage
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
panic-attack assail
panic-attack binary not available — skipping assail
|
|
panic-attack assail
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Hypatia neurosymbolic scan
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Deposit findings for gitbot-fleet
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
bridge-report
|
218 Bytes |
sha256:6ce0ca5ae466c4019e301eee88d799a7d2b45fa3ad331cf6ad6aa86e0f685f5c
|
|
|
hypatia-findings
|
3.91 KB |
sha256:d8ed409ad4b4a53abcc0d925a1202028a3677763ac551e294fd2a6f22cd201c5
|
|
|
panic-attack-findings
|
171 Bytes |
sha256:2c9f0d72f5ea5ef94341a5bd72600e41692ad0dc24b9cbb34ca26730c406fcac
|
|
|
unified-findings
|
4.17 KB |
sha256:673324b7c8a76c87c470255b52573f1c71e76a613dadcfc444b1726b81d9abad
|
|