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

doc: Making examples visible to users #3077

Merged
merged 109 commits into from
Nov 22, 2022
Merged

Conversation

davidcok
Copy link
Collaborator

Fixes #2819

Make examples visible to users, while still including them in CI

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

davidcok and others added 30 commits January 29, 2021 12:41
@davidcok davidcok added the run-deep-tests Tells CI to run all tests label Nov 18, 2022
Copy link
Member

@robin-aws robin-aws left a comment

Choose a reason for hiding this comment

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

I like the simple solution, and I agree with relabelling them as examples rather than tutorials.

docs/examples/README.md Outdated Show resolved Hide resolved
docs/examples/README.md Outdated Show resolved Hide resolved
docs/examples/README.md Outdated Show resolved Hide resolved
@robin-aws robin-aws enabled auto-merge (squash) November 22, 2022 00:34
@robin-aws robin-aws merged commit 533473f into dafny-lang:master Nov 22, 2022
@davidcok davidcok deleted the cok-2819 branch November 22, 2022 00:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
run-deep-tests Tells CI to run all tests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Organize Dafny tutorial examples
2 participants