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.

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

[CN] Add CI for executable spec #417

Closed
dc-mak opened this issue Jul 23, 2024 · 3 comments
Closed

[CN] Add CI for executable spec #417

dc-mak opened this issue Jul 23, 2024 · 3 comments
Assignees
Labels

Comments

@dc-mak
Copy link
Contributor

dc-mak commented Jul 23, 2024

Continuation of #343

@dc-mak
Copy link
Contributor Author

dc-mak commented Jul 26, 2024

@septract is working on this.
These are related: #439
rems-project/cn-tutorial@115464f

@septract
Copy link
Collaborator

septract commented Aug 1, 2024

See draft PR here: #458

@dc-mak dc-mak changed the title [CN] Add CI and subcommands for executable spec [CN] Add CI for executable spec Aug 12, 2024
@dc-mak
Copy link
Contributor Author

dc-mak commented Aug 12, 2024

I reduced the scope of this so I can mark it closed, and moved the remaining tasks to #480.

@dc-mak dc-mak closed this as completed Aug 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants