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

Add contest book #6

Merged
merged 5 commits into from
Jun 4, 2024
Merged

Conversation

celinval
Copy link

@celinval celinval commented Jun 4, 2024

Add initial book and a workflow to build / deploy the book. I also created a few other configurations that we were missing.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@celinval celinval force-pushed the contest-0000-basic branch from a507261 to a965bb3 Compare June 4, 2024 02:39
@celinval celinval changed the title Contest 0000 basic Add contest book Jun 4, 2024
.github/workflows/book.yml Outdated Show resolved Hide resolved
Copy link

@jaisnan jaisnan left a comment

Choose a reason for hiding this comment

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

LGTM for now, we can revise as we go along.

doc/src/general-rules.md Outdated Show resolved Hide resolved
Co-authored-by: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com>
@celinval celinval merged commit 58225f0 into model-checking:main Jun 4, 2024
jaisnan added a commit that referenced this pull request Jun 7, 2024
Add initial book and a workflow to build / deploy the book. I also created a few other configurations that we were missing.

Co-authored-by: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com>
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.

2 participants