Skip to content
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.

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

Add github action #23

Merged
merged 12 commits into from
Jan 6, 2024
Merged

Add github action #23

merged 12 commits into from
Jan 6, 2024

Conversation

turion
Copy link
Contributor

@turion turion commented Jan 5, 2024

Adds a github action.

  • Adapt readme
  • Change CI setup to upstream instead of my own repo
  • Figure out what the right tag name would be. Ideally it would be v0.1.5.0 because we don't want to make a new cabal release, but that would mean moving tags, which isn't great.

action.yml Outdated Show resolved Hide resolved
@turion turion mentioned this pull request Jan 5, 2024
@turion turion marked this pull request as ready for review January 5, 2024 14:04
chmod +x get-tested
./get-tested --ubuntu --macos get-tested.cabal >> $GITHUB_OUTPUT
- name: Generate matrix
uses: turion/[email protected]
Copy link
Contributor Author

Choose a reason for hiding this comment

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

This requires a follow-up PR to point to your repo. But for now I think it's easiest to bootstrap like this.

README.md Outdated
runs-on: ubuntu-latest
steps:
- name: Extract the tested GHC versions
uses: turion/[email protected]
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Same here, this would have to be changed to your repo after this PR.

@turion
Copy link
Contributor Author

turion commented Jan 5, 2024

Yep, I think this works now. Feel free to review :) The maintenance should be fairly simple: Whenever you release a new version, just push a new tag and maybe update the readme. That's it.

For the next release, you can change the repo in the readme and your CI setup from mine to yours.

@Kleidukos
Copy link
Owner

Fantastic, thank you very much @turion!

@Kleidukos Kleidukos merged commit 992fd26 into Kleidukos:main Jan 6, 2024
4 checks passed
@turion turion deleted the dev_github_action branch January 6, 2024 17:48
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