Skip to content

[IGNORE] Test pr approval workflow #36

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
Closed
wants to merge 3 commits into from
Closed

[IGNORE] Test pr approval workflow #36

wants to merge 3 commits into from

Conversation

@jaisnan
Copy link

@jaisnan jaisnan commented Jul 10, 2024

Please add a description of your PR.
If this is a solution to an open challenge, please explain your solution.

Don't forget to check our book to ensure your solution satisfy the overall
requirements as well as the challenge success criteria.

Resolves #ISSUE-NUMBER

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
@jaisnan jaisnan changed the title test pr change test pr approval workflow Jul 10, 2024
@jaisnan jaisnan changed the title test pr approval workflow [IGNORE] Test pr approval workflow Jul 10, 2024
@jaisnan jaisnan closed this Jul 12, 2024
hxuhack added a commit to Artisan-Lab/rapx-verify-rust-std that referenced this pull request Sep 23, 2025
@hxuhack
Merge pull request model-checking#36 from os-checker/cleanup-old-syntax
1b62395 
Chore: remove old syntax code and tests
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant

@jaisnan