Skip to content

migrate to github actions#7

Open
WebFreak001 wants to merge 1 commit intomasterfrom
add-github-actions
Open

migrate to github actions#7
WebFreak001 wants to merge 1 commit intomasterfrom
add-github-actions

Conversation

@WebFreak001
Copy link
Copy Markdown
Member

@WebFreak001 WebFreak001 commented Jun 3, 2022

(automatically opened on all repos, please review)

Copy link
Copy Markdown
Member

@ljmf00 ljmf00 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@WebFreak001
Copy link
Copy Markdown
Member Author

WebFreak001 commented Jun 3, 2022

hang on with merging, found inconsistencies with other repos w.r.t. whitespace checking.

Currently looking if I can add the whitespace checking to all repos. See dlang-tour/german#75

@ljmf00
Copy link
Copy Markdown
Member

ljmf00 commented Jun 3, 2022

hang on with merging, found inconsistencies with other repos w.r.t. whitespace checking.

Currently looking if I can add the whitespace checking to all repos. See dlang-tour/german#75

You can add a pre-commit check, like I added on the compiler 😉.

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.

2 participants