Skip to content

chore: Update repo owner and arch-interest-groups #1140

chore: Update repo owner and arch-interest-groups

chore: Update repo owner and arch-interest-groups #1140

Triggered via pull request February 6, 2024 21:16
Status Success
Total duration 23s
Artifacts

commitlint.yml

on: pull_request
commitlint  /  commitlint
13s
commitlint / commitlint
Fit to window
Zoom out
Zoom in