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

Minor improvements #217

Merged
merged 4 commits into from
Mar 22, 2021
Merged

Minor improvements #217

merged 4 commits into from
Mar 22, 2021

Conversation

Marcono1234
Copy link
Contributor

Contains some of the commits which were originally part of #207.

Copy link
Contributor

@sjoerdtalsma sjoerdtalsma left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Aside from the small logger issue this looks very good to me, thanks!

@sjoerdtalsma
Copy link
Contributor

sjoerdtalsma commented Mar 15, 2021 via email

@sjoerdtalsma
Copy link
Contributor

sjoerdtalsma commented Mar 15, 2021

Could you do me a favour and merge develop into your branch?
I switched to Github Actions and I'm curious how the build runs on a merge request (from a forked repository).

@Marcono1234
Copy link
Contributor Author

Sorry for the delay, I have merged develop into this branch now and made the logger in AbstractThreadLocalContext static as well.

I think you need to include pull_request as event which triggers the workflow. (Probably also does not matter whether a pull request performs a merge from develop or not.)

You can probably also slightly simplify the workflow by removing the following (though I am not completely sure):

@sjoerdtalsma
Copy link
Contributor

I think you need to include pull_request as event which triggers the workflow. (Probably also does not matter whether a pull request performs a merge from develop or not.)

Thanks, I wasn't 100% sure about that, but since your workflow didn't run I guess it's necessary.

You can probably also slightly simplify the workflow by removing the following (though I am not completely sure):

I tried, but it refused to run the workflow on develop. This probably has to do with the exclusion of tags somehow. I just re-enabled it again for now.

@Marcono1234
Copy link
Contributor Author

Force pushed (only changing commit message and reverting it back) to trigger GitHub workflow.

@sjoerdtalsma
Copy link
Contributor

I need to make the tasks that depend on secrets skippable for pull requests.
I'm glad no secrets were shared with a 'foreign' fork for reasons you can probably understand ;-)

Sorry for all the trial and error in this PR!

@sjoerdtalsma
Copy link
Contributor

Updated the build script, should run from forked repo now.

@Marcono1234
Copy link
Contributor Author

Sorry for all the trial and error in this PR!

No worries; looks like it worked now.

@sjoerdtalsma sjoerdtalsma merged commit fbcc5cd into talsma-ict:develop Mar 22, 2021
@sjoerdtalsma
Copy link
Contributor

Merged to develop. Thanks again for your contribution @Marcono1234

@Marcono1234 Marcono1234 deleted the marcono1234/minor-improvements branch March 22, 2021 22:57
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.

2 participants