Skip to content
Push to the GitHub Wiki

Push to the GitHub Wiki #32

Sign in to view logs

Push to the GitHub Wiki

Push to the GitHub Wiki #32

Manually triggered September 11, 2024 16:00
@basilbasil
⁠ 43deddb
master
Status Success
Total duration 45s
Artifacts –

wiki.yml

on: workflow_dispatch
push-to-wiki
37s
push-to-wiki
Fit to window
Zoom out
Zoom in