-
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitignore
More file actions
132 lines (114 loc) · 1.57 KB
/
Copy path.gitignore
File metadata and controls
132 lines (114 loc) · 1.57 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
# SPDX-License-Identifier: MPL-2.0
# RSR-compliant .gitignore
# OS & Editor
.DS_Store
Thumbs.db
*.swp
*.swo
*~
.idea/
.vscode/
.directory
# Rust
/target/
**/*.rs.bk
# Idris2
build/
*.ibc
# Zig
**/zig-out/
**/.zig-cache/
**/.zig-cache-global/
# Coq / Rocq
*.vo
*.vok
*.vos
*.glob
.coqdeps.d
.*.aux
.lia.cache
.Makefile.d
formal/.build.mk.d
formal/build.mk
formal/build.mk.conf
# NOTE: _CoqProject IS tracked (it's the project definition file)
# NOTE: formal/Makefile is generated by coq_makefile — do NOT track
# WASM
*.wasm
!examples/**/*.wasm
# Dependencies
/node_modules/
/vendor/
/deps/
# ReScript
/lib/bs/
/.bsb.lock
# Secrets
.env
.env.*
*.pem
*.key
secrets/
# Test/Coverage
/coverage/
htmlcov/
# Logs
*.log
/logs/
# Temp
/tmp/
*.tmp
*.bak
# Pixi
.pixi/
# Crash recovery artifacts
ai-cli-crash-capture/
# asdf version manager
.tool-versions
# Compiled shared/static libraries
*.so
*.a
*.dylib
target/
node_modules/
_build/
deps/
.elixir_ls/
.cache/
dist/
# OCaml build artifacts (issue #265 sources pending; artifacts never belong)
*.cmi
*.cmo
*.cmx
# Additional build/tooling artefacts (salvaged from the 2026-07-26 sweep;
# `.claude/` and `.editorconfig` were dropped from that set — both are TRACKED
# in this repo and ignoring them would hide real changes from `git status`).
*.ali
*.chpl.tmp.*
*.db
*.db-journal
*.db-shm
*.db-wal
*.ez
*.jl.cov
*.jl.mem
*.py[cod]
.venv/
/.elixir_ls/
/.stack-work/
/Manifest.toml
/_build/
/bin/
/build/
/cover/
/dist-newstyle/
/dist/
/doc/
/exports/*.json
/exports/*.lgt
/obj/
/out/
__pycache__/
composer/*.beam
composer/build/
erl_crash.dump