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

Test the PR-building workflow #10

Closed
wants to merge 2 commits into from
Closed

Test the PR-building workflow #10

wants to merge 2 commits into from

Conversation

rmunn
Copy link
Owner

@rmunn rmunn commented Sep 19, 2019

This PR should test the workflow that builds PRs. (Kind of circular, no?)

@rmunn
Copy link
Owner Author

rmunn commented Sep 19, 2019

Here's a comment. Does this trigger the PR build? (Answer: it did not).

@rmunn
Copy link
Owner Author

rmunn commented Sep 19, 2019

Closing PR, which should not trigger a build. (And indeed, it did not).

@rmunn rmunn closed this Sep 19, 2019
@rmunn
Copy link
Owner Author

rmunn commented Sep 19, 2019

Reopening PR, which should (I think) trigger a build. (And indeed, it did).

@rmunn rmunn reopened this Sep 19, 2019
We'll try different combinations of setting the environment variable;
it's possible that we won't have to set it in every single step, but I
suspect we will have to set it in every step.

Note that once we go to .Net Core 3 exclusively, we'll be able to get
rid of this.
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.

None yet

1 participant