Skip to content
Deploy to GitHub Pages

ci: script to add label to PR based on diff #18

Sign in to view logs

ci: script to add label to PR based on diff

ci: script to add label to PR based on diff #18

Triggered via push October 22, 2024 07:09
@mkubilaykmkubilayk
pushed 52be948
main
Status Success
Total duration 1m 45s
Artifacts 1

docs.yml

on: push
Build Docusaurus
1m 18s
Build Docusaurus
Deploy to GitHub Pages
9s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
8.03 MB