Skip to content

Migrate to GitHub Actions#103

Open
petergoldstein wants to merge 2 commits intofog:masterfrom
petergoldstein:feature/migrate_to_github_actions
Open

Migrate to GitHub Actions#103
petergoldstein wants to merge 2 commits intofog:masterfrom
petergoldstein:feature/migrate_to_github_actions

Conversation

@petergoldstein
Copy link

Migrate CI to GitHub actions, including Rubocop.

Upgrade Rubocop to ~> 1.0 and address lints

@petergoldstein petergoldstein force-pushed the feature/migrate_to_github_actions branch from 5e681cd to 0ade8bf Compare March 7, 2022 17:30
Migrate CI to GitHub actions, including Rubocop.

Upgrade Rubocop to ~> 1.0 and address lints
@petergoldstein petergoldstein force-pushed the feature/migrate_to_github_actions branch from 0ade8bf to f23bfcf Compare January 30, 2023 03:29
@sbernhard
Copy link

Should we add this @ShimShtein ?

@dosas
Copy link
Contributor

dosas commented Sep 9, 2024

This PR is IMHO obsolote, github actions were already added in other PRs.

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.

3 participants