Skip to content
🤖 PR auto merge

chore: use dot instead of github reporter #117

Sign in to view logs

chore: use dot instead of github reporter

chore: use dot instead of github reporter #117

Run time

Learn about OS pricing on GitHub Actions
Job Run time
setup
7s
approve
0s
7s