8000 Phase 6b: deterministic MathCorpus and MCIP export by Mnehmos · Pull Request #55 · Mnehmos/MathOS · GitHub
[go: up one dir, main page]
Skip to content

Phase 6b: deterministic MathCorpus and MCIP export #55

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mnehmos merged 1 commit into from
Jul 22, 2026
Merged

Phase 6b: deterministic MathCorpus and MCIP export #55

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
6 changes: 6 additions & 0 deletions .gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
# Shell entry points must remain executable as LF-delimited scripts on every checkout.
*.sh text eol=lf

# These vendored files are cryptographic inputs and must retain their upstream bytes.
schemas/mathcorpus/upstream-*/* -text
schemas/mcip/v1/upstream-*/* -text
8 changes: 5 additions & 3 deletions .github/workflows/publication.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -182,15 +182,16 @@ jobs:
"${REPAIRED_PROOF_BUNDLE_PATH}" \
"${RUNNER_TEMP}/publication-candidate/repaired-proof-ingestion" \
"${RUNNER_TEMP}/publication-candidate"
- name: Build and replay the private Pilot A portable release without SQLite
- name: Build, replay, and corpus-export private Pilot A without SQLite
shell: bash
run: |
bash scripts/release-pilot-a.sh \
"${RUNNER_TEMP}/publication-candidate" \
"${RUNNER_TEMP}/publication-candidate/repaired-proof-candidate" \
"${RUNNER_TEMP}/publication-candidate/repaired-proof-ingestion" \
"${RUNNER_TEMP}/pilot-a-portable-release"
- name: Retain smoke, both candidate closures, release, diagnostics, and Sigstore bundles
"${RUNNER_TEMP}/pilot-a-portable-release" \
"${RUNNER_TEMP}/pilot-a-mathcorpus-mcip-export"
- name: Retain smoke, candidate closures, release, corpus export, diagnostics, and Sigstore bundles
if: always()
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02
with:
Expand All @@ -217,3 +218,4 @@ jobs:
${{ steps.attest_repaired_proof.outputs.bundle-path }}
${{ runner.temp }}/publication-candidate/release-build-evidence/
${{ runner.temp }}/pilot-a-portable-release/
${{ runner.temp }}/pilot-a-mathcorpus-mcip-export/
Loading
Loading
0