Skip to content
new PR greeter

fix: change make install target to use the right directory name #740

Sign in to view logs

fix: change make install target to use the right directory name

fix: change make install target to use the right directory name #740

Run time

Learn about OS pricing on GitHub Actions
Job Run time
new_pr_greeter
0s
0s