chore: remove all rescript artifacts - #104
Merged
Merged
Conversation
Part of estate-wide standards#426 remediation - cleanup. Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
…e87a5923fdf329 Part of estate-wide standards#426 remediation - Batch 11 SHA update. Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
…e87a5923fdf329 Part of estate-wide standards#426 remediation - Batch 12 SHA update. Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
…e87a5923fdf329 Part of estate-wide standards#426 remediation - Batch 13 SHA update. Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
Add security-events: write and id-token: write to workflow-level permissions in scorecard.yml for scorecard-reusable.yml calls. Ensure contents: read at workflow-level for secret-scanner.yml. Part of hyperpolymath/standards#426 remediation - Batch 2. Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
Update reusable workflow SHA from d135b05 to f2f8e6791b09f1f498f01b798e4670a1ebc9c986 to pick up fixes for: - Bug A: Invalid timeout-minutes at workflow_call level and duplicates - Bug B: Permissions escalation in scorecard-reusable Part of hyperpolymath/standards#426 remediation. Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
Final SHA update for Bug A and Bug B fixes. Part of hyperpolymath/standards#426 remediation. Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
Remove src-rescript/ directory containing ReScript compiled files: - Analysis.res.js, CaptureCLI.res.js, Capture.res.js, Decoder.res.js - Export.res.js, Mapper.res.js, Privacy.res.js, UbiCity.res.js - Visualization.res.js, storage.js - README.md Part of estate-wide ReScript removal (rescript-ecosystem and proven-servers/bindings/rescript preserved). Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
Remove ReScript CI workflow and bridge module as part of estate-wide ReScript removal. Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
hyperpolymath
enabled auto-merge
August 18, 2026 12:31
hyperpolymath
disabled auto-merge
August 18, 2026 12:32
hyperpolymath
enabled auto-merge (squash)
August 18, 2026 12:32
hyperpolymath
disabled auto-merge
August 18, 2026 12:34
|
hyperpolymath
added a commit
that referenced
this pull request
Aug 18, 2026
## Summary - remove the obsolete npm/Node matrix after PR #104 removed the package and lock files - install pinned Idris2 0.8.0 (exact upstream commit fallback) - build and execute the retained 18-test Idris2 suite ## Validation - actionlint .github/workflows/ci.yml - gh actions-lock --no-fix .github/workflows/ci.yml - just test-core (18 passed, 0 failed) Follow-up to #104, which auto-merged before this CI correction could be attached.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Remove ReScript example files, source code, and CI configuration as part of estate-wide ReScript removal.
Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe vibe@mistral.ai