GitHub Pages

index / TOC: rename "docs" to "conferences" #64

Sign in to view logs

Re-run triggered December 16, 2025 14:21

t-lo

main

Status Success

Total duration 22s

Artifacts –

gh-pages.yml

on: push