Skip to content

Conversation

driazati
Copy link
Contributor

@driazati driazati commented Apr 6, 2021

Stack from ghstack:

This documents the functionality to skip CI as discussed in #55174

Differential Revision: D27609269

[ghstack-poisoned]
@facebook-github-bot
Copy link
Contributor

facebook-github-bot commented Apr 6, 2021

💊 CI failures summary and remediations

As of commit e32df7a (more details on the Dr. CI page):


💚 💚 Looks good so far! There are no failures yet. 💚 💚


This comment was automatically generated by Dr. CI (expand for details).Follow this link to opt-out of these comments for your Pull Requests.

Please report bugs/suggestions to the (internal) Dr. CI Users group.

@driazati driazati changed the title [Skip CI] Document '[Skip CI]' [skip ci] Document '[skip ci]' Apr 6, 2021
CONTRIBUTING.md Outdated
with `brew install cmake` if you are developing on MacOS or Linux system.
* Our `setup.py` requires Python >= 3.6
* If a commit is simple and doesn't affect any code (keep in mind that some docstrings contain code
that is used in tests), you can add `[skip ci]` to your commit message to skip all build / test steps.
Copy link
Contributor

Choose a reason for hiding this comment

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

Is it only in the commit message? Could one have the [skip ci] in the PR title or body as well?

Copy link
Contributor

Choose a reason for hiding this comment

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

I also see you experimenting with the capitalization. Maybe include a note about the casing if it's restricting?

Copy link
Contributor

Choose a reason for hiding this comment

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

Ah I see it has to be the commit message: do you think it may be helpful to link https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/?

Copy link
Contributor Author

@driazati driazati Apr 6, 2021

Choose a reason for hiding this comment

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

Based on #55425 looks like anywhere in the commit message (subject or body) is fine, but updating the PR's title/body on GitHub has no effect: #55426, updated the language to match

This documents the functionality to skip CI as discussed in #55174

Differential Revision: [D27609269](https://our.internmc.facebook.com/intern/diff/D27609269)

[ghstack-poisoned]
driazati added a commit that referenced this pull request Apr 7, 2021
ghstack-source-id: 531fb96
Pull Request resolved: #55418
@facebook-github-bot
Copy link
Contributor

@driazati merged this pull request in fc45ff8.

@facebook-github-bot facebook-github-bot deleted the gh/driazati/4/head branch April 12, 2021 14:21
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