Cleanup GitHub Pages on PR Close

chore: update linters #383

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Triggered via pull request June 18, 2025 13:01

Raubzeug

closed #2419

update-linters

Status Success

Total duration 5m 35s

Artifacts –

cleanup-gh-pages.yml

on: pull_request