Skip to content
This repository has been archived by the owner on Jul 27, 2023. It is now read-only.

GH actions #200

Merged
merged 5 commits into from
Jan 21, 2022
Merged

GH actions #200

merged 5 commits into from
Jan 21, 2022

Conversation

FintanH
Copy link
Collaborator

@FintanH FintanH commented Jan 20, 2022

No description provided.

@FintanH FintanH force-pushed the gh-actions branch 2 times, most recently from 78c07c2 to 366ba05 Compare January 20, 2022 11:53
ci/lint Outdated Show resolved Hide resolved
Overhauling the ci scripts to split them into singular steps,
combining them in the run script.

Signed-off-by: Fintan Halpenny <fintan.halpenny@gmail.com>
GH actions likes to set up its own git history which causes the
submodule test to fail. We guard against running this test, unless its
local (or on some other CI).

Signed-off-by: Fintan Halpenny <fintan.halpenny@gmail.com>
Special file names is not supported on Windows. We ignore the test for
the Windows build.

Signed-off-by: Fintan Halpenny <fintan.halpenny@gmail.com>
@FintanH FintanH force-pushed the gh-actions branch 2 times, most recently from 027c00f to af1afe5 Compare January 21, 2022 11:53
Add github actions to run the ci scripts for github PRs.

Signed-off-by: Fintan Halpenny <fintan.halpenny@gmail.com>
Signed-off-by: Fintan Halpenny <fintan.halpenny@gmail.com>
@FintanH FintanH merged commit c80b131 into master Jan 21, 2022
@FintanH FintanH deleted the gh-actions branch January 21, 2022 12:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants