Skip to content

Use fixed globalGitRepoRevision for integration test#346

Merged
simu merged 1 commit intomasterfrom
fix/integration-test
Jul 6, 2021
Merged

Use fixed globalGitRepoRevision for integration test#346
simu merged 1 commit intomasterfrom
fix/integration-test

Conversation

@simu
Copy link
Member

@simu simu commented Jul 6, 2021

Filed follow-up issue #347

Checklist

  • Keep pull requests small so they can be easily reviewed.
  • Update tests.
  • Categorize the PR by setting a good title and adding one of the labels:
    bug, enhancement, documentation, change, breaking, dependency
    as they show up in the changelog
  • Link this PR to related issues.

TODO: figure out if we can do this better
@simu simu added the bug Something isn't working label Jul 6, 2021
@simu simu requested review from ccremer and corvus-ch July 6, 2021 10:56
@simu simu mentioned this pull request Jul 6, 2021
3 tasks
@simu simu merged commit 03208dc into master Jul 6, 2021
@simu simu deleted the fix/integration-test branch July 6, 2021 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants