Skip to content
Semantic PR Title

ci: convert circle jobs to github actions #1672

Sign in to view logs

ci: convert circle jobs to github actions

ci: convert circle jobs to github actions #1672

Triggered via pull request November 14, 2023 22:09
@scurkerscurker
synchronize #1269
use-github-actions
Status Success
Total duration 10s
Artifacts –

semantic-pr-title.yml

on: pull_request
semantic-pr-title
2s
semantic-pr-title
Fit to window
Zoom out
Zoom in