forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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 <[email protected]>
- Loading branch information
Showing
4 changed files
with
79 additions
and
0 deletions.
There are no files selected for viewing
Validating CODEOWNERS rules …
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
# Copyright Kani Contributors | ||
# SPDX-License-Identifier: Apache-2.0 OR MIT | ||
|
||
* @model-checking/kani-devs |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
> Please add a description of your PR. | ||
> If this is a solution to an open challenge, please explain your solution. | ||
> | ||
> Don't forget to check our book to ensure your solution satisfy the overall | ||
> requirements as well as the challenge success criteria. | ||
> | ||
Resolves #ISSUE-NUMBER | ||
|
||
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
# Copyright Kani Contributors | ||
# SPDX-License-Identifier: Apache-2.0 OR MIT | ||
|
||
# https://docs.github.com/en/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file | ||
|
||
version: 2 | ||
updates: | ||
- package-ecosystem: "github-actions" | ||
directory: "/" | ||
schedule: | ||
interval: "weekly" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,54 @@ | ||
# Copyright Kani Contributors | ||
# SPDX-License-Identifier: Apache-2.0 OR MIT | ||
|
||
## File system | ||
.DS_Store | ||
desktop.ini | ||
|
||
## Editor | ||
*.swp | ||
*.swo | ||
Session.vim | ||
.cproject | ||
.idea | ||
*.iml | ||
.vscode | ||
.project | ||
.favorites.json | ||
.settings/ | ||
*.orig | ||
*.rej | ||
|
||
## Build | ||
/book/ | ||
/build/ | ||
/target | ||
*.rlib | ||
*.rmeta | ||
*.mir | ||
|
||
## Temporary files | ||
*~ | ||
\#* | ||
\#*\# | ||
.#* | ||
|
||
## Python | ||
__pycache__/ | ||
*.py[cod] | ||
*$py.class | ||
|
||
## Node | ||
node_modules | ||
package-lock.json | ||
|
||
# Tools | ||
## Kani | ||
*.out | ||
|
||
|
||
# Added by cargo | ||
# | ||
# already existing elements were commented out | ||
|
||
#/target |