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

Deploy to GitHub Pages

Deploy to GitHub Pages
succeeded Oct 22, 2024 in 9s