Merge pull request #100 from devitocodes/devito · devitocodes/devito_book@fb32dc7

Triggered via push January 29, 2026 11:56

ggorman

main

Status Success

Total duration 5m 8s

Artifacts 1

publish.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	8.72 MB	`sha256:9669e0de57d0f78ec02593452c8cae8eb1715175df500b136b39e4b93a700397`