Merge pull request #1021 from auouymous/no-circleci-for-adaptive
commita61f5e6702b4e51b7fc92c2a97a243b315c734f9
authorEric Le Lay <222469+elelay@users.noreply.github.com>
Sat, 8 May 2021 15:38:10 +0000 (8 17:38 +0200)
committerGitHub <noreply@github.com>
Sat, 8 May 2021 15:38:10 +0000 (8 17:38 +0200)
tree6bdf6a45737b08f714bc1d1c2773e0ef010e5f60
parent9f02f7b925b61db81ef05c64f95b0aa81c610510
parent42231b33770abb1a3b067a0becab5a5fbc934bc2
Merge pull request #1021 from auouymous/no-circleci-for-adaptive

Disable circleci for adaptive branch.