Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .devcontainer/.gitconfig
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
[user]
name = grydz
email = grydz@pm.me
name = grydz
email = grydz@pm.me
3 changes: 3 additions & 0 deletions .devcontainer/Dockerfile
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
FROM ghcr.io/cosmian/intel-sgx:2.25

LABEL Name="tee-tools-devcontainer"
LABEL Version="dev"

RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y

ENV PATH="/root/.cargo/bin:${PATH}"
Expand Down
7 changes: 2 additions & 5 deletions .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
Expand Up @@ -5,11 +5,8 @@
"customizations": {
"vscode": {
"settings": {},
"extensions": [
"rust-lang.rust-analyzer",
"fill-labs.dependi"
]
"extensions": ["rust-lang.rust-analyzer", "fill-labs.dependi"]
}
},
"remoteUser": "root"
}
}
26 changes: 7 additions & 19 deletions .pre-commit-config.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -123,36 +123,24 @@ repos:
# avoid clash with `double-quote-string-fixer`
args: [--skip-string-normalization]

- repo: https://github.com/Cube707/mkdocs
rev: e8733d1373c1543d6052925d3272b2ff51dbb140
hooks:
- id: mkdocs-build
additional_dependencies:
- mkdocs-plugin-progress
- mkdocs-kroki-plugin
- mkdocs-material
- mkdocs-meta-descriptions-plugin
- markdown-katex
entry: bash -c 'cd documentation && mkdocs build --strict'

- repo: https://github.com/Cosmian/git-hooks.git
rev: v1.0.20
rev: v1.0.42
hooks:
- id: cargo-format
# - id: dprint-toml-fix
# - id: cargo-upgrade
# - id: cargo-update
- id: cargo-machete
- id: cargo-tests-all
- id: cargo-outdated
- id: clippy-autofix-all
- id: clippy-autofix-pedantic
- id: clippy-autofix-others
- id: nightly-clippy-autofix-unreachable-pub
- id: nightly-clippy-autofix-all-targets-all-features
- id: nightly-clippy-autofix-all-targets
- id: clippy-all-targets-all-features
- id: cargo-format # in last due to clippy fixes
- id: clippy-all-targets
- id: cargo-format # in last du to clippy fixes

- repo: https://github.com/EmbarkStudios/cargo-deny
rev: 0.14.16 # choose your preferred tag
rev: 0.19.0 # choose your preferred tag
hooks:
- id: cargo-deny
args: ["--all-features", "check"] # optionally modify the arguments for cargo-deny (default arguments shown here)
Loading
Loading