Fix indentation of enumerations (#26) #62

Triggered via push July 1, 2024 03:11

drhodrid

main

Status Success

Total duration 34m 38s

Artifacts 1

build.yml

on: push

Reviewers, timers, and other rules protecting deployments in this run

Event	Environments	Comment
angus-g deleted by angus-g Jul 1, 2024	github-pages

Produced during runtime

Name	Size
notebooks Expired	1.24 MB