Skip to content

refactor: restructure examples#221

Merged
clangenb merged 3 commits into
scs:masterfrom
ivanceras:master
Mar 15, 2022
Merged

refactor: restructure examples#221
clangenb merged 3 commits into
scs:masterfrom
ivanceras:master

Conversation

@ivanceras
Copy link
Copy Markdown
Contributor

This change just restructures the examples.
Putting example code in the examples/ folder automatically make it a runnable example.
There is also no need to make the files executable.

@clangenb
Copy link
Copy Markdown
Collaborator

Cool, thank you very much! We will gladly merge this one after the integration-tests run. Interestingly, there is now a missing dependency for the examples, see the failing tests.

If you could add it to the deps again, the CI should work.

@clangenb
Copy link
Copy Markdown
Collaborator

clangenb commented Mar 14, 2022

Unfortunately, there has been another issue popping up in the examples. I would be great if you could fix that. :)

Sorry for nitpicking here.

Copy link
Copy Markdown
Collaborator

@clangenb clangenb left a comment

Choose a reason for hiding this comment

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

Thanks for the cleanup!

@clangenb clangenb merged commit b26ad4d into scs:master Mar 15, 2022
@haerdib haerdib added Z3-example Add or fix an example E1-breaksnothing labels Nov 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

E1-breaksnothing Z3-example Add or fix an example

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants