Skip to content

Actions: hyperpolymath/standards

Actions

.github/workflows/affinescript-verify.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
affinescript-verify.yml
1,040 workflow runs
1,040 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
fix(ci): green the Registry+topology check — regen registry drift + de-TruffleHog a2ml/S4 scorecard (#525 fallout) .github/workflows/affinescript-verify.yml #765: Pull request #531 synchronize by hyperpolymath
24s fix/registry-drift-regen
fix/registry-drift-regen
24s
fix(check-trusted-base): make Lean sorry/axiom matching comment-aware .github/workflows/affinescript-verify.yml #764: Pull request #532 opened by hyperpolymath
14s fix/trusted-base-lean-comment-awareness
fix/trusted-base-lean-comment-awareness
14s
fix(ci): green the Registry+topology check — regen registry drift + de-TruffleHog a2ml/S4 scorecard (#525 fallout) .github/workflows/affinescript-verify.yml #763: Pull request #531 opened by hyperpolymath
13s fix/registry-drift-regen
fix/registry-drift-regen
13s
fix(security): restore secret scanning — drop unused actions: read from reusable .github/workflows/affinescript-verify.yml #762: Pull request #528 synchronize by hyperpolymath
11s worktree-fix-secret-scanner-perms
worktree-fix-secret-scanner-perms
11s
ci: canary-test the secret scanner, and actually run tests/ .github/workflows/affinescript-verify.yml #761: Pull request #530 opened by hyperpolymath
9s ci/secret-scanner-canary-and-self-test
ci/secret-scanner-canary-and-self-test
9s
fix(ci): drop unneeded actions:read from secret-scanner reusable — fixes Secret Scanner startup_failure .github/workflows/affinescript-verify.yml #760: Pull request #529 opened by hyperpolymath
12s fix/secret-scanner-reusable-actions-perm
fix/secret-scanner-reusable-actions-perm
12s
fix(security): restore secret scanning — drop unused actions: read from reusable .github/workflows/affinescript-verify.yml #759: Pull request #528 opened by hyperpolymath
13s worktree-fix-secret-scanner-perms
worktree-fix-secret-scanner-perms
13s
ci: sweep leftover dead trufflehog job from consumer workflows (#525) .github/workflows/affinescript-verify.yml #758: Commit e8b2f4b pushed by hyperpolymath
13s main
main
13s
ci: sweep leftover dead trufflehog job from consumer workflows .github/workflows/affinescript-verify.yml #757: Pull request #525 synchronize by hyperpolymath
10s fix/issue-507-remove-trufflehog
fix/issue-507-remove-trufflehog
10s
fix: ignore string literals when matching Lean sorry/axiom (#526) .github/workflows/affinescript-verify.yml #756: Commit a37446c pushed by hyperpolymath
10s main
main
10s
fix: ignore string literals when matching Lean sorry/axiom .github/workflows/affinescript-verify.yml #755: Pull request #526 opened by hyperpolymath
13s fix/issue-517-check-trusted-base-strings
fix/issue-517-check-trusted-base-strings
13s
ci: sweep leftover dead trufflehog job from consumer workflows .github/workflows/affinescript-verify.yml #754: Pull request #525 opened by hyperpolymath
9s fix/issue-507-remove-trufflehog
fix/issue-507-remove-trufflehog
9s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #753: Commit 5fe9d38 pushed by hyperpolymath
1m 14s main
main
1m 14s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #752: Commit ed38135 pushed by hyperpolymath
3s main
main
3s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #751: Commit ca7cf81 pushed by hyperpolymath
3s main
main
3s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #750: Commit 63ce1aa pushed by hyperpolymath
4s main
main
4s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #749: Commit c656baa pushed by hyperpolymath
3s main
main
3s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #748: Commit 300aa46 pushed by hyperpolymath
2s main
main
2s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #747: Commit 754861e pushed by hyperpolymath
3s main
main
3s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #746: Commit bfd10bb pushed by hyperpolymath
3s main
main
3s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #745: Commit 3e3f1ba pushed by hyperpolymath
3s main
main
3s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #744: Commit 9a6c776 pushed by hyperpolymath
12s main
main
12s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #743: Commit c3a0e49 pushed by hyperpolymath
3s main
main
3s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #742: Commit 6e043b6 pushed by hyperpolymath
3s main
main
3s
chore: update guix.scm from squisher-corpus .github/workflows/affinescript-verify.yml #741: Commit e07a930 pushed by hyperpolymath
10s main
main
10s
ProTip! You can narrow down the results and go further in time using created:<2026-07-26 or the other filters available.