Skip to content

Actions: hyperpolymath/modshells

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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(spark): adopt estate SPARK Theatre Gate (standards#135) .github/workflows/secret-scanner.yml #161: Commit 4747d2f pushed by hyperpolymath
Failure ci/adopt-spark-theatre-gate
ci/adopt-spark-theatre-gate
Failure
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … Ada (GNAT) #203: Commit ba9b072 pushed by hyperpolymath
3m 29s main
main
3m 29s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … Governance #10: Commit ba9b072 pushed by hyperpolymath
7m 12s main
main
7m 12s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … Hypatia Security Scan #130: Commit ba9b072 pushed by hyperpolymath
3m 53s main
main
3m 53s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … Mirror to Git Forges #130: Commit ba9b072 pushed by hyperpolymath
2m 48s main
main
2m 48s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … CodeQL Security Analysis #178: Commit ba9b072 pushed by hyperpolymath
3m 46s main
main
3m 46s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … OSSF Scorecard #290: Commit ba9b072 pushed by hyperpolymath
6m 51s main
main
6m 51s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … OpenSSF Scorecard Enforcer #109: Commit ba9b072 pushed by hyperpolymath
5m 52s main
main
5m 52s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … Instant Sync #100: Commit ba9b072 pushed by hyperpolymath
3m 3s main
main
3m 3s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … .github/workflows/secret-scanner.yml #160: Commit ba9b072 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): Bump the actions group across 1 directory with 3 updates Governance #9: Pull request #47 synchronize by dependabot Bot
35m 50s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
35m 50s
chore(deps): Bump the actions group across 1 directory with 3 updates Hypatia Security Scan #129: Pull request #47 synchronize by dependabot Bot
35m 4s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
35m 4s
chore(deps): Bump the actions group across 1 directory with 3 updates Ada (GNAT) #202: Pull request #47 synchronize by dependabot Bot
30m 28s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
30m 28s
chore(deps): Bump the actions group across 1 directory with 3 updates CodeQL Security Analysis #177: Pull request #47 synchronize by dependabot Bot
32m 47s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
32m 47s
chore(deps): Bump the actions group across 1 directory with 3 updates .github/workflows/secret-scanner.yml #159: Commit 5b0def4 pushed by dependabot Bot
Failure dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
Failure
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) Governance #8: Pull request #49 opened by hyperpolymath
1h 31m 37s docs/spark-noop-exemption
docs/spark-noop-exemption
1h 31m 37s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) Ada (GNAT) #201: Pull request #49 opened by hyperpolymath
1h 31m 14s docs/spark-noop-exemption
docs/spark-noop-exemption
1h 31m 14s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) Hypatia Security Scan #128: Pull request #49 opened by hyperpolymath
1h 31m 41s docs/spark-noop-exemption
docs/spark-noop-exemption
1h 31m 41s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) CodeQL Security Analysis #176: Pull request #49 opened by hyperpolymath
1h 30m 39s docs/spark-noop-exemption
docs/spark-noop-exemption
1h 30m 39s
docs(proof): add modshells PROOF-NEEDS with SPARK no-op exemption .github/workflows/secret-scanner.yml #158: Commit 1b588e7 pushed by hyperpolymath
Failure docs/spark-noop-exemption
docs/spark-noop-exemption
Failure
github_actions in / for github/codeql-action, actions/upload-artifact, actions/github-script - Update #1374089476 Dependabot Updates #181: by dependabot Bot
2h 54m 35s main
main
2h 54m 35s
github_actions in /. - Update #1374089447 Dependabot Updates #180: by dependabot Bot
2h 51m 10s main
main
2h 51m 10s
OSSF Scorecard OSSF Scorecard #289: Scheduled
5h 56m 53s main
main
5h 56m 53s
OpenSSF Scorecard Enforcer OpenSSF Scorecard Enforcer #108: Scheduled
14h 50m 44s main
main
14h 50m 44s
CodeQL Security Analysis CodeQL Security Analysis #175: Scheduled
13h 20m 11s main
main
13h 20m 11s