Skip to content

[WIP] Add CI job to check function schemas' backward compatiblity#23422

Closed
houseroad wants to merge 3 commits intogh/houseroad/13/basefrom
gh/houseroad/13/head
Closed

[WIP] Add CI job to check function schemas' backward compatiblity#23422
houseroad wants to merge 3 commits intogh/houseroad/13/basefrom
gh/houseroad/13/head

Conversation

@houseroad
Copy link
Member

@houseroad houseroad commented Jul 26, 2019

Stack from ghstack:

step 1: add merge_pull_request_onto_master back (ongoing)
step 2: add a ci job (todo)
step 3: add a script to run the job (todo)

Differential Revision: D16514495

step 1: add merge_pull_request_onto_master back (ongoing)
step 2: add a ci job (todo)
step 3: add a script to run the job (todo)

Differential Revision: [D16514495](https://our.internmc.facebook.com/intern/diff/D16514495/)
@pytorchbot pytorchbot added the module: ci Related to continuous integration label Jul 26, 2019
houseroad added a commit that referenced this pull request Jul 26, 2019
step 1: add merge_pull_request_onto_master back (ongoing)
step 2: add a ci job (todo)
step 3: add a script to run the job (todo)

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

ghstack-source-id: 87233956
Pull Request resolved: #23422
…tiblity"

step 1: add merge_pull_request_onto_master back (ongoing)
step 2: add a ci job (todo)
step 3: add a script to run the job (todo)

Differential Revision: [D16514495](https://our.internmc.facebook.com/intern/diff/D16514495/)
houseroad added a commit that referenced this pull request Jul 27, 2019
step 1: add merge_pull_request_onto_master back (ongoing)
step 2: add a ci job (todo)
step 3: add a script to run the job (todo)

Pull Request resolved: #23422
ghstack-source-id: 87296981

Differential Revision: [D16514495](https://our.internmc.facebook.com/intern/diff/D16514495/)
@dzhulgakov dzhulgakov requested a review from kostmo July 30, 2019 16:09
…tiblity"

step 1: add merge_pull_request_onto_master back (ongoing)
step 2: add a ci job (todo)
step 3: add a script to run the job (todo)

Differential Revision: [D16514495](https://our.internmc.facebook.com/intern/diff/D16514495/)
houseroad added a commit that referenced this pull request Sep 5, 2019
step 1: add merge_pull_request_onto_master back (ongoing)
step 2: add a ci job (todo)
step 3: add a script to run the job (todo)

Pull Request resolved: #23422
ghstack-source-id: 89570439

Differential Revision: [D16514495](https://our.internmc.facebook.com/intern/diff/D16514495/)
@houseroad houseroad closed this Sep 17, 2019
@facebook-github-bot facebook-github-bot deleted the gh/houseroad/13/head branch October 28, 2019 22:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

module: ci Related to continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants