ukadoc server update request (update will be delayed up to 5 minutes)

add play button (#33) #144

Sign in to view logs

Triggered via push December 21, 2023 10:40

master

Status Success

Total duration 17s

Artifacts –

update_req.yml

on: push

ukadoc server update request