Skip to content

Feat/submit assertion#14

Merged
odyslam merged 25 commits intomainfrom
feat/submit-assertion
Feb 14, 2025
Merged

Feat/submit assertion#14
odyslam merged 25 commits intomainfrom
feat/submit-assertion

Conversation

@odyslam
Copy link
Contributor

@odyslam odyslam commented Feb 13, 2025

Adds the CLI command to submit assertions. It enables users to select projects from their list of projects and also assertions that have already been submitted to the DA and are cached.

It also creates a config/cache file and directory to store information across CLI runs such as the auth token.

@odyslam odyslam marked this pull request as ready for review February 14, 2025 12:31
@odyslam odyslam force-pushed the feat/submit-assertion branch from 0a9b86d to de8a403 Compare February 14, 2025 12:33

#[derive(clap::Parser)]
pub struct DASubmitArgs {
// FIXME(Odysseas): Replace localhost with the actual DA URL from our infrastructure
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: fun thing to do would be to have localhost be for the dev profile and infa url for release

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

too much hassle

async fn submit_assertion(
&self,
project: &Project,
assertions: Vec<&AssertionForSubmission>,
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: &[AssertionForSubmission] (or &[&AssertionForSubmission]) is better

unless i need a vec specific feature or to own i much prefer &[]

@odyslam odyslam merged commit 92372d7 into main Feb 14, 2025
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants