Skip to content

Add contest book - #6

Merged
celinval merged 5 commits into
model-checking:mainfrom
celinval:contest-0000-basic
Jun 4, 2024
Merged

Add contest book#6
celinval merged 5 commits into
model-checking:mainfrom
celinval:contest-0000-basic

Conversation

@celinval

@celinval celinval commented Jun 4, 2024

Copy link
Copy Markdown

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
Comment thread .github/workflows/book.yml Outdated

@jaisnan jaisnan left a comment

Copy link
Copy Markdown

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.

Comment thread doc/src/general-rules.md Outdated
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