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

Jump to bottom

Validate README.md markdown table in CI #105

Merged

ahelwer merged 1 commit into tlaplus:master from ahelwer:check-markdown

Jan 18, 2024

Collaborator

ahelwer commented Jan 17, 2024 •

edited

Loading

Added python script to parse & validate README spec table against manifest.json, to run during CI
Split specs not included in this repo into a separate table
Remove number, Description, and External Modules columns
Added detail to Name column and added Beginner flag column
Added missing specs to table
Added missing feature flags to table
Added missing authors to table
Reordered specs to beginner-friendly specs with more feature flags are near the top

Closes #70


          Subjected README.md spec table to CI validation

58906ab

Simplified & expanded spec table

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>

ahelwer force-pushed the check-markdown branch from 083bf32 to 58906ab Compare

January 17, 2024 23:32

ahelwer merged commit ab9049a into tlaplus:master

4 checks passed

ahelwer deleted the check-markdown branch

January 18, 2024 14:05

ahelwer mentioned this pull request

Towards beginner friendly examples #15

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet