Skip to content

Actions: hyperpolymath/affinescript

Actions

Workflow Security Linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow-linter.yml
532 workflow runs
532 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 the github-actions group with 2 updates Workflow Security Linter #532: Pull request #718 opened by dependabot Bot
12s dependabot/github_actions/github-actions-7c70cea34f
dependabot/github_actions/github-actions-7c70cea34f
12s
ci: bump the github-actions group with 2 updates Workflow Security Linter #531: Commit ef052e4 pushed by dependabot Bot
8s dependabot/github_actions/github-actions-7c70cea34f
dependabot/github_actions/github-actions-7c70cea34f
8s
chore(ci): SPDX headers on line 1 and Actions lockfile minted (#717) Workflow Security Linter #530: Commit d728da4 pushed by hyperpolymath
4m 59s main
main
4m 59s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Workflow Security Linter #529: Pull request #717 synchronize by hyperpolymath
4m 59s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
4m 59s
Merge branch 'main' into chore/ci-hygiene-lockfile-spdx Workflow Security Linter #528: Commit 51f6bd4 pushed 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) Workflow Security Linter #527: Commit a0a1714 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): SPDX headers on line 1 and Actions lockfile minted Workflow Security Linter #526: Pull request #717 synchronize by hyperpolymath
11s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
11s
fix(ci): SPDX identifier back to line 1, after the lockfile step Workflow Security Linter #525: Commit f93263d pushed by hyperpolymath
12s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
12s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Workflow Security Linter #524: Pull request #717 opened by hyperpolymath
18s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
18s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Workflow Security Linter #523: Commit eaf5703 pushed by hyperpolymath
22s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
22s
Workflow Security Linter Workflow Security Linter #522: opened by hyperpolymath
Startup failure chore/scorecard-periodic
chore/scorecard-periodic
Startup failure
chore(ci): make Scorecard periodic — drop push and pull_request triggers Workflow Security Linter #521: Commit 6cec9ff pushed by hyperpolymath
Startup failure chore/scorecard-periodic
chore/scorecard-periodic
Startup failure
ci: bump the github-actions group across 1 directory with 4 updates (… Workflow Security Linter #520: Commit 5070534 pushed by hyperpolymath
12s main
main
12s
ci: bump the github-actions group across 1 directory with 4 updates Workflow Security Linter #519: Pull request #714 synchronize by hyperpolymath
17s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
17s
Merge branch 'main' into feat/test-bench-coverage Workflow Security Linter #518: Commit 0f23e41 pushed by hyperpolymath
12s feat/test-bench-coverage
feat/test-bench-coverage
12s
ci: bump the github-actions group across 1 directory with 4 updates Workflow Security Linter #517: Pull request #714 opened by dependabot Bot
1m 16s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
1m 16s
ci: bump the github-actions group across 1 directory with 4 updates Workflow Security Linter #516: Commit f37fd9f pushed by dependabot Bot
1m 20s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
1m 20s
Merge branch 'main' into docs/state-2026-07-29 Workflow Security Linter #515: Commit f4cd3af pushed by hyperpolymath
10m 54s docs/state-2026-07-29
docs/state-2026-07-29
10m 54s
fix(ci): repair the Coq gate on main — coqc not found (#711) Workflow Security Linter #514: Commit 7f6cb79 pushed by hyperpolymath
11m 27s main
main
11m 27s
fix(ci): repair the Coq gate on main — coqc not found Workflow Security Linter #513: Pull request #711 opened by hyperpolymath
17s fix/coq-gate-container
fix/coq-gate-container
17s
fix(ci): repair the Coq gate on main — coqc not found Workflow Security Linter #512: Commit 4676dc4 pushed by hyperpolymath
16s fix/coq-gate-container
fix/coq-gate-container
16s
ci: bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the github-actions group Workflow Security Linter #511: Pull request #710 opened by dependabot Bot
14s dependabot/github_actions/github-actions-21c3c7556b
dependabot/github_actions/github-actions-21c3c7556b
14s
ci: bump dawidd6/action-send-mail in the github-actions group Workflow Security Linter #510: Commit 0b38465 pushed by dependabot Bot
15s dependabot/github_actions/github-actions-21c3c7556b
dependabot/github_actions/github-actions-21c3c7556b
15s
fix(ci): make the Coq gate actually run in the pinned container Workflow Security Linter #509: Commit af7c38c pushed by hyperpolymath
5m 17s ci/coq-proof-gate
ci/coq-proof-gate
5m 17s
ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) Workflow Security Linter #508: Commit ed4e223 pushed by hyperpolymath
18s main
main
18s