Skip to content
Create a GitHub release once a release PR is merged

doc: Use ~ instead of /home/$USER #576

Sign in to view logs

doc: Use ~ instead of /home/$USER

doc: Use ~ instead of /home/$USER #576

Run time

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