Skip to content

#159 Checking if artifacts have been created #160

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
pfwd merged 2 commits into from
Oct 23, 2022
Merged

#159 Checking if artifacts have been created #160

pfwd merged 2 commits into from
Oct 23, 2022

Conversation

@pfwd
Copy link
Contributor

@pfwd pfwd commented Oct 23, 2022

Standards checklist:

  • The PR title is descriptive.
  • The PR doesn't replicate another PR which is already open.
  • I have read the contribution guide and followed all the instructions.
  • The code is mine or it's from somewhere with an MIT-compatible license.
  • The code is efficient, to the best of my ability, and does not waste computer resources.
  • The code is stable and I have tested it myself, to the best of my abilities.

GitHub issues fixed:

Other comments:

...
@pfwd pfwd merged commit 6ee7b98 into main Oct 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant

@pfwd