Skip to content

Actions: hyperpolymath/affinescript

Actions

Semgrep SAST

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
1,404 workflow runs
1,404 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(ci): SPDX headers on line 1 and Actions lockfile minted (#717) Semgrep SAST #1404: Commit d728da4 pushed by hyperpolymath
5m 21s main
main
5m 21s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Semgrep SAST #1403: Pull request #717 synchronize by hyperpolymath
5m 11s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
5m 11s
chore(ci): make Scorecard periodic, not per-push (#716) Semgrep SAST #1402: Commit a0a1714 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): SPDX headers on line 1 and Actions lockfile minted Semgrep SAST #1401: Pull request #717 synchronize by hyperpolymath
45s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
45s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Semgrep SAST #1400: Pull request #717 opened by hyperpolymath
54s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
54s
Semgrep SAST Semgrep SAST #1399: opened by hyperpolymath
Startup failure chore/scorecard-periodic
chore/scorecard-periodic
Startup failure
Semgrep SAST Semgrep SAST #1398: opened by hyperpolymath
Startup failure chore/estate-topup
chore/estate-topup
Startup failure
ci: bump the github-actions group across 1 directory with 4 updates (… Semgrep SAST #1397: Commit 5070534 pushed by hyperpolymath
54s main
main
54s
ci: bump the github-actions group across 1 directory with 4 updates Semgrep SAST #1396: Pull request #714 synchronize by hyperpolymath
1m 0s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
1m 0s
Make bisect_ppx actually instrument the library — coverage was measur… Semgrep SAST #1395: Commit 8f1b06a pushed by hyperpolymath
46s main
main
46s
Make bisect_ppx actually instrument the library — coverage was measuring nothing Semgrep SAST #1394: Pull request #713 synchronize by hyperpolymath
43s feat/test-bench-coverage
feat/test-bench-coverage
43s
ci: bump the github-actions group across 1 directory with 4 updates Semgrep SAST #1393: Pull request #714 opened by dependabot Bot
2m 20s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
2m 20s
Make bisect_ppx actually instrument the library — coverage was measuring nothing Semgrep SAST #1392: Pull request #713 opened by hyperpolymath
4m 13s feat/test-bench-coverage
feat/test-bench-coverage
4m 13s
docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) Semgrep SAST #1391: Commit 707fd5f pushed by hyperpolymath
11m 41s main
main
11m 41s
docs: record the Coq proof gate and the 2026-07-29 rescue session Semgrep SAST #1390: Pull request #712 synchronize by hyperpolymath
12m 33s docs/state-2026-07-29
docs/state-2026-07-29
12m 33s
fix(ci): repair the Coq gate on main — coqc not found (#711) Semgrep SAST #1389: Commit 7f6cb79 pushed by hyperpolymath
6m 30s main
main
6m 30s
docs: record the Coq proof gate and the 2026-07-29 rescue session Semgrep SAST #1388: Pull request #712 opened by hyperpolymath
48s docs/state-2026-07-29
docs/state-2026-07-29
48s
fix(ci): repair the Coq gate on main — coqc not found Semgrep SAST #1387: Pull request #711 opened by hyperpolymath
53s fix/coq-gate-container
fix/coq-gate-container
53s
Semgrep SAST Semgrep SAST #1386: Scheduled
46s main
main
46s
ci: bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the github-actions group Semgrep SAST #1385: Pull request #710 opened by dependabot Bot
47s dependabot/github_actions/github-actions-21c3c7556b
dependabot/github_actions/github-actions-21c3c7556b
47s
ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) Semgrep SAST #1384: Commit ed4e223 pushed by hyperpolymath
1m 0s main
main
1m 0s
ci: wire the formal/ Coq proof gate into CI (Refs #513) Semgrep SAST #1383: Pull request #709 synchronize by hyperpolymath
1m 4s ci/coq-proof-gate
ci/coq-proof-gate
1m 4s
ci: wire the formal/ Coq proof gate into CI (Refs #513) Semgrep SAST #1382: Pull request #709 opened by hyperpolymath
56s ci/coq-proof-gate
ci/coq-proof-gate
56s
ci: bump the github-actions group with 3 updates (#707) Semgrep SAST #1381: Commit 3e34d7f pushed by hyperpolymath
59s main
main
59s
ci: bump the github-actions group with 3 updates Semgrep SAST #1380: Pull request #707 synchronize by hyperpolymath
53s dependabot/github_actions/github-actions-6947902d1c
dependabot/github_actions/github-actions-6947902d1c
53s