Skip to content

ci: reorganizing the GitHub CI workflows#413

Merged
SuperFola merged 2 commits intodevfrom
ci/unite-workflows
Nov 6, 2022
Merged

ci: reorganizing the GitHub CI workflows#413
SuperFola merged 2 commits intodevfrom
ci/unite-workflows

Conversation

@SuperFola
Copy link
Member

CI workflows

Description

Uniting PR workflows.

Checklist

  • I have read the Contributor guide
  • My code follows the style guidelines of this project
  • I have commented my code, particularly in hard-to-understand areas
  • I have updated the documentation if needed
  • I have added tests that prove my fix/feature is working
  • New and existing tests pass locally with my changes

@github-actions github-actions bot added the 👷 ci Related to our Continous Integration system (build, tests, auto-release...) label Nov 6, 2022
@SuperFola SuperFola merged commit d0433f2 into dev Nov 6, 2022
@SuperFola SuperFola deleted the ci/unite-workflows branch November 6, 2022 16:50
SuperFola added a commit that referenced this pull request Nov 6, 2022
ci: reorganizing the GitHub CI workflows
Former-commit-id: cc4ebf72c18fd9b21ab01884f06b1ceaa013b739
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

👷 ci Related to our Continous Integration system (build, tests, auto-release...)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant