Skip to content

Generate files off-line.#252

Merged
otherdaniel merged 1 commit intoWICG:mainfrom
otherdaniel:generate
Jan 16, 2025
Merged

Generate files off-line.#252
otherdaniel merged 1 commit intoWICG:mainfrom
otherdaniel:generate

Conversation

@otherdaniel
Copy link
Collaborator

@otherdaniel otherdaniel commented Jan 16, 2025

Replace the built-on-push with a shell script that committers are meant to manually run pre commit.

Reason are errors on GitHub actions:
https://github.com/WICG/sanitizer-api/actions/runs/12810876107/job/35718920474


Preview | Diff

@otherdaniel
Copy link
Collaborator Author

Landing this without review to fix the spec at https://wicg.github.io/sanitizer-api/

@otherdaniel otherdaniel merged commit fbdaa30 into WICG:main Jan 16, 2025
github-actions bot added a commit that referenced this pull request Jan 16, 2025
SHA: fbdaa30
Reason: push, by otherdaniel

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@otherdaniel otherdaniel deleted the generate branch March 19, 2025 14:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant