diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b54845f7dac..b926119a237 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -87,6 +87,8 @@ jobs: name: Deploy docs (if needed) if: ${{ needs.check-docs.outputs.needs_deploying == 'true' && github.event_name != 'pull_request' }} runs-on: ubuntu-latest + permissions: + contents: write steps: - name: Checkout uses: actions/checkout@v3 diff --git a/.prettierignore b/.prettierignore index 025d8fb4e1f..a28c3dbd82c 100644 --- a/.prettierignore +++ b/.prettierignore @@ -41,4 +41,4 @@ package.json test/assets/ vendor/ docs/ - +versioned_*/ \ No newline at end of file diff --git a/website/src/css/custom.css b/website/src/css/custom.css index ba4fdc1cfc9..24d18e9164c 100644 --- a/website/src/css/custom.css +++ b/website/src/css/custom.css @@ -13,7 +13,7 @@ * See the License for the specific language governing permissions and * limitations under the License. */ - + /* You can override the default Infima variables here. */ :root { --ifm-color-primary: #2e8555; diff --git a/website/versions.json b/website/versions.json index a09b9a66580..0e65fdc5ce4 100644 --- a/website/versions.json +++ b/website/versions.json @@ -1,3 +1 @@ -[ - "15.3.0" -] +["15.3.0"]