.gitignore

### Bazel ###
# gitignore template for Bazel build system
# website: https://bazel.build/

# Ignore all bazel-* symlinks. There is no full list since this can change
# based on the name of the directory bazel is cloned into.
bazel-*
# Local additional settings and overrides.
/.local.bazelrc

# We don't want to force test_workspace repinning to be part of normal workflow.
# If you want to experiment in the test directory, run the boostrap script
# there first.
bazel/test_workspace/Cargo*.lock
bazel/test_workspace/cargo*.json

# Index file used to compare artifacts for reproducibility.
/reproducibility_index

# Compiled libraries.
**/*.a
**/*.so

# Cargo cache.
/cargo-cache/
/sccache-cache/

# Cargo timing files.
cargo-timing*.html

# Bazel cache.
/.cache/

# Node modules.
**/node_modules/

# Generated vscode files.
**/.vscode/

# Generated project info to support Bazel-only projects in rust-analyzer.
rust-project.json

# emacs stuff
*~

# Files generated by fuzzers.
/crash-*
/slow-unit-*

# Ignore the bazel remote cache key file.
# https://docs.bazel.build/versions/master/remote-caching.html#google-cloud-storage
/.oak_remote_cache_key.json

# Ignore downloaded OpenID Connect client identity JSON files.
**/client_secret_*.apps.googleusercontent.com.json

# Ignore downloaded temporary files, such as the trusted root CA certificates.
/downloads/

# Artifact holding location for CI / Provenance tasks.
# This are typically things built inside the docker container that we want to
# expose to the CI host for upload, provenance generation, etc.
/artifacts

# Ignore generated binary files.
**/bin/
# Except if it is source code in a vendored crate.
!/third_party/vendor/**/bin/

### Rust ###
# Generated by Cargo
# will have compiled files and executables.
/**/target/

# These are backup files generated by rustfmt.
**/*.rs.bk

### Coq ###
# Coq build artifacts
.Makefile.d
Makefile.conf
*.aux
*.glob
*.vo
*.vok
*.vos

### CLion ###
# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio and WebStorm.
# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839

# User-specific stuff.
.idea/**/workspace.xml
.idea/**/tasks.xml
.idea/**/usage.statistics.xml
.idea/**/dictionaries
.idea/**/shelf

# Generated files.
.idea/**/contentModel.xml

# Sensitive or high-churn files.
.idea/**/dataSources/
.idea/**/dataSources.ids
.idea/**/dataSources.local.xml
.idea/**/sqlDataSources.xml
.idea/**/dynamic.xml
.idea/**/uiDesigner.xml
.idea/**/dbnavigator.xml

# Secrets (e.g. tokens, credentials)

*.secret

# TensorFlow model server binary
tensorflow_model_server

# Direnv
.direnv/

# Toolchain build
toolchain/build
toolchain/toolchain
toolchain/toolchain.tar.bz2

# Python environment
**/.venv/

# Nix outputs
/result
/dev-profile*

# Developer-local justfile
justfile.local