Skip to content

Fixes #635: added missing Default #708

Fixes #635: added missing Default

Fixes #635: added missing Default #708

---
name: ensure-docs-examples
on: [push, pull_request]
jobs:
test:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: ensure-docs-examples
run: bash scripts/ensure_docs_examples.sh