Merge pull request #225 from SylvainCorlay/matthias-update #283

Triggered via push May 15, 2025 15:54

master

Status Success

Total duration 1m 32s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	97.7 MB	`sha256:d31573161378ed1180c3eb87244a53681a95b71eb3491aa2f5f481fb8ee153ec`