Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/workflows/boj-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,4 +16,5 @@ jobs:
curl -X POST "http://boj-server.local:7700/cartridges/ssg-mcp/invoke" -H "Content-Type: application/json" -d "{\"repo\": \"${{ github.repository }}\", \"branch\": \"${{ github.ref_name }}\", \"engine\": \"casket\\"}"}
continue-on-error: true
permissions:
actions: read
contents: read
1 change: 1 addition & 0 deletions .github/workflows/casket-pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ on:
workflow_dispatch:

permissions:
actions: read
contents: read
pages: write
id-token: write
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
# SPDX-License-Identifier: MPL-2.0
name: CI
permissions:
actions: read
contents: read

on:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ concurrency:
cancel-in-progress: true

permissions:
actions: read
contents: read
# to commit it to your repository.
#
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/governance.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,7 @@ concurrency:
cancel-in-progress: true

permissions:
actions: read
contents: read

jobs:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/hypatia-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ concurrency:
cancel-in-progress: true

permissions:
actions: read
contents: read
# security-events: write serves two purposes (write implies read):
# 1. read — lets the built-in GITHUB_TOKEN query this repo's own
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/instant-sync.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ on:
types: [published]

permissions:
actions: read
contents: read

jobs:
Expand Down
91 changes: 91 additions & 0 deletions .github/workflows/main-estate-audit.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,91 @@
name: Central Estate CI/CD Audit

on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]

jobs:
estate-audit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4

- name: Required Files Gate
uses: hyperpolymath/cicd-suite/actions/required-files-check@main

- name: Code Hygiene Gate
uses: hyperpolymath/cicd-suite/actions/code-hygiene-check@main

- name: Manifest Validation Gate
uses: hyperpolymath/cicd-suite/actions/manifest-check@main

- name: Idris2 ABI Purity Gate
uses: hyperpolymath/cicd-suite/actions/idris2-abi-check@main

- name: Zig Hexadeca API Gate
uses: hyperpolymath/cicd-suite/actions/zig-hexadeca-check@main

- name: Contractile Validation Gate
uses: hyperpolymath/cicd-suite/actions/contractile-validation-check@main

- name: Recipes Set Validation Gate
uses: hyperpolymath/cicd-suite/actions/recipes-set-check@main

- name: Affirmation Document Gate
uses: hyperpolymath/cicd-suite/actions/affirmation-check@main

- name: Academic Referencing Gate
uses: hyperpolymath/cicd-suite/actions/referencing-check@main

- name: Semantic Audit Gate
uses: hyperpolymath/cicd-suite/actions/semantic-audit-check@main

- name: SPDX License Gate
uses: hyperpolymath/cicd-suite/actions/spdx-license-check@main

- name: Proof Runner Gate
uses: hyperpolymath/cicd-suite/actions/proof-runner-check@main

- name: PRAT Testing Gate
uses: hyperpolymath/cicd-suite/actions/prat-check@main

- name: Panic Attack & Pons Gate
uses: hyperpolymath/cicd-suite/actions/custom-tools-check@main

- name: WWW & Well-Known Compliance Gate
uses: hyperpolymath/cicd-suite/actions/www-compliance-check@main

- name: BoJ Cartridge Validation Gate
uses: hyperpolymath/cicd-suite/actions/boj-cartridge-check@main

- name: Formatting Validation Gate
uses: hyperpolymath/cicd-suite/actions/formatting-check@main

- name: Accreditations & Badges Gate
uses: hyperpolymath/cicd-suite/actions/badges-check@main

- name: Metrics Extraction Gate
uses: hyperpolymath/cicd-suite/actions/metrics-check@main

- name: Linguist & Banned Languages Gate
uses: hyperpolymath/cicd-suite/actions/linguist-check@main

- name: Test & Benchmarks Dashboard Gate
uses: hyperpolymath/cicd-suite/actions/tests-benches-check@main

- name: Hosting & Site Status Gate
uses: hyperpolymath/cicd-suite/actions/hosting-check@main

- name: Git-Sea Analytics Gate
uses: hyperpolymath/cicd-suite/actions/gitsea-check@main

- name: Trust & Humans Validation Gate
uses: hyperpolymath/cicd-suite/actions/trust-humans-check@main

- name: Are We UnAPI Gate (Secret Scanning)
uses: hyperpolymath/cicd-suite/actions/secrets-check@main

- name: Reasonably Good Token Validation Gate
uses: hyperpolymath/cicd-suite/actions/vaulted-tokens-check@main
3 changes: 2 additions & 1 deletion .github/workflows/mirror.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,10 @@ on:
workflow_dispatch:

permissions:
actions: read
contents: read

jobs:
mirror:
uses: hyperpolymath/standards/.github/workflows/mirror-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236
uses: hyperpolymath/standards/.github/workflows/mirror-reusable.yml@892497fe373744874316710966b81ae6f0ea9e66
secrets: inherit
1 change: 1 addition & 0 deletions .github/workflows/pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ on:
branches: [main, master]
workflow_dispatch:
permissions:
actions: read
contents: read
pages: write
id-token: write
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/push-email-notify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ name: Push email notification
on:
push: {}
permissions:
actions: read
contents: read
jobs:
notify:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/secret-scanner.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ concurrency:
cancel-in-progress: true

permissions:
actions: read
contents: read

jobs:
Expand Down
12 changes: 6 additions & 6 deletions guix.scm
Original file line number Diff line number Diff line change
@@ -1,18 +1,18 @@
; SPDX-License-Identifier: MPL-2.0
;; guix.scm — GNU Guix package definition for blocky-writer
;; guix.scm — GNU Guix package definition for squisher-corpus
;; Usage: guix shell -f guix.scm

(use-modules (guix packages)
(guix build-system gnu)
(guix licenses))

(package
(name "blocky-writer")
(name "squisher-corpus")
(version "0.1.0")
(source #f)
(build-system gnu-build-system)
(synopsis "blocky-writer")
(description "blocky-writer — part of the hyperpolymath ecosystem.")
(home-page "https://github.com/hyperpolymath/blocky-writer")
(license ((@@ (guix licenses) license) "MPL-2.0"
(synopsis "squisher-corpus")
(description "squisher-corpus — part of the hyperpolymath ecosystem.")
(home-page "https://github.com/hyperpolymath/squisher-corpus")
(license ((@@ (guix licenses) license) "PMPL-1.0-or-later"
"https://github.com/hyperpolymath/palimpsest-license")))