Skip to content

Actions: hyperpolymath/affinescript

Actions

Semgrep SAST

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
157 workflow runs
157 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
ci: bump haskell-actions/setup from 2.10.3 to 2.11.0 Semgrep SAST #132: Pull request #29 opened by dependabot Bot
1m 1s dependabot/github_actions/haskell-actions/setup-2.11.0
dependabot/github_actions/haskell-actions/setup-2.11.0
1m 1s
ci: bump softprops/action-gh-release from 2.6.1 to 3.0.0 Semgrep SAST #131: Pull request #28 opened by dependabot Bot
42s dependabot/github_actions/softprops/action-gh-release-3.0.0
dependabot/github_actions/softprops/action-gh-release-3.0.0
42s
Pr25 (#27) Semgrep SAST #130: Commit a25bde2 pushed by hyperpolymath
46s main
main
46s
Pr25 Semgrep SAST #129: Pull request #27 opened by hyperpolymath
46s pr25
pr25
46s
feat(codegen): implement bitwise NOT and constant folding; fix .as le… Semgrep SAST #128: Commit 5d79e9e pushed by hyperpolymath
1m 33s main
main
1m 33s
Merge pull request #26 from hyperpolymath/runbook-rename Semgrep SAST #127: Commit 73cdcf3 pushed by hyperpolymath
2h 4m 3s main
main
2h 4m 3s
a2ml: rename runbook out of .launcher.a2ml namespace Semgrep SAST #126: Pull request #26 opened by hyperpolymath
2h 3m 8s runbook-rename
runbook-rename
2h 3m 8s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Semgrep SAST #125: Commit f42f866 pushed by hyperpolymath
1m 13s main
main
1m 13s
feat: migrate file extension from .as to .affine for GitHub Linguist … Semgrep SAST #124: Pull request #25 synchronize by hyperpolymath
45s claude/explore-repo-language-3QNs5
claude/explore-repo-language-3QNs5
45s
fix(cli): register cs-bridge subcommand to resolve unused value error Semgrep SAST #123: Commit e6efdce pushed by hyperpolymath
41s main
main
41s
ci: bump actions/upload-pages-artifact from 4.0.0 to 5.0.0 Semgrep SAST #122: Commit 4595f96 pushed by hyperpolymath
3m 19s main
main
3m 19s
ci: bump trufflesecurity/trufflehog from 3.94.2 to 3.94.3 Semgrep SAST #121: Commit f96096c pushed by hyperpolymath
2m 52s main
main
2m 52s
ci: bump actions/github-script from 8.0.0 to 9.0.0 Semgrep SAST #120: Commit 27714fd pushed by hyperpolymath
2m 49s main
main
2m 49s
ci: bump editorconfig-checker/action-editorconfig-checker Semgrep SAST #119: Commit 66d1269 pushed by hyperpolymath
1m 52s main
main
1m 52s
ci: bump ocaml/setup-ocaml from 3.4.8 to 3.6.0 Semgrep SAST #118: Commit 4b21b53 pushed by hyperpolymath
1m 36s main
main
1m 36s
Update README.adoc Semgrep SAST #117: Commit 67a4903 pushed by hyperpolymath
42s main
main
42s
Delete LICENSE-AGPL-3.0 Semgrep SAST #116: Commit a55d04e pushed by hyperpolymath
48s main
main
48s
Semgrep SAST Semgrep SAST #115: Scheduled
45s main
main
45s
feat: TEA CS bridge + opsm.toml manifest Semgrep SAST #114: Commit 9b654c8 pushed by hyperpolymath
1m 2s main
main
1m 2s
chore(state): capture Stage 12 in-progress checkpoint Semgrep SAST #113: Commit af96323 pushed by hyperpolymath
40s main
main
40s
feat(quantity): Stage 11 — source-level Cmd linearity (QTT enforcement) Semgrep SAST #112: Commit b8a0f9c pushed by hyperpolymath
5m 5s main
main
5m 5s
feat(tw_interface): Stage 10 — multi-module boundary verifier Semgrep SAST #111: Commit 39995dc pushed by hyperpolymath
44s main
main
44s
feat(tw_verify): Stage 9 — per-path min/max linearity analysis Semgrep SAST #110: Commit f6cab6d pushed by hyperpolymath
51s main
main
51s
feat(affinescript): Stage 8 — auto-verify ownership on compile + brid… Semgrep SAST #109: Commit fbe7c98 pushed by hyperpolymath
50s main
main
50s
feat(affinescript): Stage 7 — typed-wasm ownership verifier (Tw_verify) Semgrep SAST #108: Commit ec64ca6 pushed by hyperpolymath
1m 10s main
main
1m 10s