Skip to content
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

saw python client TLS cert verification flag #1400

Open
pnwamk opened this issue Jul 30, 2021 · 2 comments
Open

saw python client TLS cert verification flag #1400

pnwamk opened this issue Jul 30, 2021 · 2 comments
Labels
easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings type: enhancement Issues describing an improvement to an existing feature or capability
Milestone
2025T1

Comments

@pnwamk
Copy link
Contributor

pnwamk commented Jul 30, 2021

This PR bumps the argo dep for the saw python client to include an option to enable/disable certificate verification for TLS connections: #1386

We should add an optional verify flag (like the cryptol client now has) to allow saw python users to conveniently explicitly enable/disable cert verification as well.
@pnwamk pnwamk added the subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings label Jul 30, 2021
@pnwamk pnwamk added the easy Issues that are expected to be easy to resolve and might therefore be good for new contributors label Aug 13, 2021
@pnwamk
Copy link
Contributor Author

pnwamk commented Sep 10, 2021

#1439 has been merged -- should just be a one liner or similar now.

@RyanGlScott
Copy link
Contributor

See GaloisInc/cryptol#1203 for the corresponding change in Cryptol.

@sauclovian-g sauclovian-g added the type: enhancement Issues describing an improvement to an existing feature or capability label Nov 2, 2024
@sauclovian-g sauclovian-g added this to the 2025T1 milestone Nov 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings type: enhancement Issues describing an improvement to an existing feature or capability
Projects
None yet
Milestone
2025T1
Development

No branches or pull requests
3 participants
@RyanGlScott @pnwamk @sauclovian-g