Skip to content

Replace mentions of Reference with RefCounted #13521

Replace mentions of Reference with RefCounted

Replace mentions of Reference with RefCounted #13521

Workflow file for this run

name: Continuous integration
on:
push:
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Style checks via pre-commit
uses: pre-commit/[email protected]
- name: Install dependencies
run: sudo pip3 install -r requirements.txt
# Use dummy builder to improve performance as we don't need the generated HTML in this workflow.
- name: Sphinx build
run: make SPHINXOPTS='--color -W' dummy