diff --git a/.github/workflows/push_main.yml b/.github/workflows/push_main.yml index 72fbc92a2a..b52b4d5110 100644 --- a/.github/workflows/push_main.yml +++ b/.github/workflows/push_main.yml @@ -8,10 +8,9 @@ jobs: python-version: "3.x" - run: "python -m pip install --upgrade mkdocs-material" - run: "mkdocs gh-deploy --force" -#on: -# push: -# branches: -# - "main" -on: "push" +on: + push: + branches: + - "main" permissions: contents: "write" diff --git a/mkdocs.yml b/mkdocs.yml index 2aa04b7927..afd228d676 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -1,3 +1,6 @@ site_name: "Beignet" theme: name: "material" +extra: + version: + provider: "mike" diff --git a/site/404.html b/site/404.html new file mode 100644 index 0000000000..1848ca1df6 --- /dev/null +++ b/site/404.html @@ -0,0 +1,272 @@ + + + +
+ + + + + + + + + + + + + + +{"use strict";/*!
+ * escape-html
+ * Copyright(c) 2012-2013 TJ Holowaychuk
+ * Copyright(c) 2015 Andreas Lubbe
+ * Copyright(c) 2015 Tiancheng "Timothy" Gu
+ * MIT Licensed
+ */var Va=/["'&<>]/;qn.exports=za;function za(e){var t=""+e,r=Va.exec(t);if(!r)return t;var o,n="",i=0,a=0;for(i=r.index;i