Skip to content

TravisCI: minor improvements - #58

Merged
schmonz merged 1 commit into
masterfrom
ci
Aug 26, 2019
Merged

TravisCI: minor improvements#58
schmonz merged 1 commit into
masterfrom
ci

Conversation

@DerDakon

Copy link
Copy Markdown
Member
  • avoid indirection for MAKEFLAGS setting
  • enable reports in IRC channel

@DerDakon

Copy link
Copy Markdown
Member Author

I removed the IRC notifications as this will be solved differently.

@schmonz
schmonz merged commit 089e754 into master Aug 26, 2019
@alanpost
alanpost deleted the ci branch August 26, 2019 04:04
@DerDakon DerDakon modified the milestones: 1.09, 1.08 Dec 28, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants