Skip to content

Merge editor-default-tools-2480 into production (#2483) #3536

Merge editor-default-tools-2480 into production (#2483)

Merge editor-default-tools-2480 into production (#2483) #3536

Workflow file for this run

name: CI
on:
workflow_dispatch:
push:
branches: [master, production]
paths:
- "**.md"
pull_request:
branches: [master, production]
jobs:
build_docs:
uses: ./.github/workflows/build_docs_no_api.yml
secrets: inherit