Skip to content

GitHub CI - #14

Merged
osteel merged 1 commit into
mainfrom
feature/github-ci
Feb 5, 2022
Merged

GitHub CI#14
osteel merged 1 commit into
mainfrom
feature/github-ci

Conversation

@osteel

@osteel osteel commented Feb 5, 2022

Copy link
Copy Markdown
Owner

Description

This PR moves away from TravisCI and Scrutinizer in favour of GitHub actions.

Motivation and context

TravisCI is a bit less reliable now and the connection with Scrutinizer was always a bit clunky.

How has this been tested?

GitHub PR triggering the workflow.

Types of changes

What types of changes does your code introduce? Put an x in all the boxes that apply:

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)

Checklist:

  • I have read the CONTRIBUTING document.
  • My pull request addresses exactly one patch/feature.
  • I have created a branch for this patch/feature.
  • Each individual commit in the pull request is meaningful.
  • I have added tests to cover my changes.
  • If my change requires a change to the documentation, I have updated it accordingly.

@osteel osteel self-assigned this Feb 5, 2022
@osteel osteel added the enhancement New feature or request label Feb 5, 2022
@osteel
osteel force-pushed the feature/github-ci branch from f7dbfd1 to c3796d0 Compare February 5, 2022 15:05
@osteel
osteel merged commit 504a042 into main Feb 5, 2022
@osteel
osteel deleted the feature/github-ci branch February 5, 2022 15:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant