Skip to content
Sphinx Plugin Tests

Adding section on record discriminants #1220

Sign in to view logs

Adding section on record discriminants

Adding section on record discriminants #1220

Triggered via pull request August 30, 2024 19:38
@gusthoffgusthoff
synchronize #1075
gusthoff:content/advanced_ada/new_content/records/discriminants/20240713
Status Success
Total duration 1m 14s
Artifacts –

sphinx-plugin-tests.js.yml

on: pull_request
Matrix: sphinx-plugin
Fit to window
Zoom out
Zoom in