GeezerVisonThe World Wide Web, restored to 800 pixels of glory. | |||||||||||||||||||||||||
| Home|About|Gaming cabinet|Archives|How it works|Starter sites | |||||||||||||||||||||||||
GeezerVison is showing github.com — Improved Ubuntu CI by lextm · Pull Request #45 · dotdevelop/dotdevelop Conversation
Sorry, something went wrong. Uh oh!
There was an error while loading. Please reload this page. All reactions
Member
All reactions
Sorry, something went wrong. Uh oh!
There was an error while loading. Please reload this page.
Author
All reactions
Sorry, something went wrong. Uh oh!
There was an error while loading. Please reload this page.
Member
All reactions
Sorry, something went wrong. Uh oh!
There was an error while loading. Please reload this page.
Author
All reactions
Sorry, something went wrong. Uh oh!
There was an error while loading. Please reload this page.
Member
All reactions
Sorry, something went wrong. Uh oh!
There was an error while loading. Please reload this page.
Author
All reactions
Sorry, something went wrong. Uh oh!
There was an error while loading. Please reload this page.
|
There was an error while loading. Please reload this page.
Not 100% accurate statement: it triggers a single run per push, so if you have 2 commits, you could push 1 first, and the 2nd later, in order to have CI run in each of them. I even did a script myself to push this way: https://github.com/nblockchain/fsx/blob/master/Tools/gitPush1by1.fsx But even if you could not do the above, it's always preferable that CI is not broken in between commits, because it prevents bisections.
Well, if you had proposed this PR from your fork, you wouldn't need the repo owner to help ;) |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
Will rebase to 8.6 branch later today. |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
After rebase to 8.6, all checks now passed. |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
Can you do two pushes to check if 0e1dde1 also passes CI? (if it doesn't, then they should be squashed into 1) |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
nice! centos was fine, add it again? https://github.com/dotdevelop/dotdevelop/actions/runs/446259191 |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
@lytico I plan to add CentOS and Fedora in a separate pull request. |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
| sudo apt-get update | ||
| sudo apt-get install -y sed build-essential intltool fsharp gtk-sharp2 | ||
| sudo apt-get install -y software-properties-common | ||
| sudo add-apt-repository ppa:git-core/ppa -y |
There was a problem hiding this comment.
The reason will be displayed to describe this comment to others. Learn more.
the 20.04 build was working already without the need to depend on a PPA; I guess the PPA is needed only for the older ubuntu versions? if so, it's better to not add in this CI lane
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
The reason will be displayed to describe this comment to others. Learn more.
@lextm confirmed, please remove the ppa line from the 20.04 build
Sorry, something went wrong.
There was an error while loading. Please reload this page.
FYI I've copied your branch to my fork, but doing one push per commit, and the first commit breaks CI: So this is proof that, strictly speaking, the commits should be squashed into one before merging (or when merging). Having all commits pass CI is a good practice, to easean the work of future developers when bisecting problems. |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was an error while loading. Please reload this page.
Successfully merging this pull request may close these issues.
There was an error while loading. Please reload this page.