chore: format code (#8628)

* chore: format code
This commit is contained in:
jrandolf 2022-07-05 15:06:10 +02:00 committed by GitHub
parent 28e236f1a6
commit 9e596d0761
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 5 additions and 5 deletions

View File

@ -87,6 +87,8 @@ jobs:
name: Deploy docs (if needed) name: Deploy docs (if needed)
if: ${{ needs.check-docs.outputs.needs_deploying == 'true' && github.event_name != 'pull_request' }} if: ${{ needs.check-docs.outputs.needs_deploying == 'true' && github.event_name != 'pull_request' }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions:
contents: write
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v3

View File

@ -41,4 +41,4 @@ package.json
test/assets/ test/assets/
vendor/ vendor/
docs/ docs/
versioned_*/

View File

@ -13,7 +13,7 @@
* See the License for the specific language governing permissions and * See the License for the specific language governing permissions and
* limitations under the License. * limitations under the License.
*/ */
/* You can override the default Infima variables here. */ /* You can override the default Infima variables here. */
:root { :root {
--ifm-color-primary: #2e8555; --ifm-color-primary: #2e8555;

View File

@ -1,3 +1 @@
[ ["15.3.0"]
"15.3.0"
]