Dispatch website event

Housekeeping: update headers of various RFCs. #50

Sign in to view logs

Triggered via push October 18, 2025 14:19

birkenfeld

master

Status Success

Total duration 9s

Artifacts –

trigger_website.yml

on: push

trigger-website