Merge pull request #1131 from AdmiringWorm/highlights #812

Triggered via push January 31, 2025 15:00

pauby

master

Status Success

Total duration 2m 57s

Artifacts 1

publish.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	89.4 MB	`sha256:1a755cf223b2bc8859057aaf5e81dda43410fbe67ef9722e73b816a8471d6702`