diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-02-12 00:26:30 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-02-12 01:16:31 +0100 |
| commit | 1904906b363d2bbe32e95546f53201a3179dcb60 (patch) | |
| tree | 2ca42aae1ecd8e52db225cf6b146697671da46c4 /.gitignore | |
| parent | 20e14b8edbbf067ab683ffdb170938838d9167b3 (diff) | |
ci: add build with stable.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 92f9a32b2..144dd703f 100644 --- a/.gitignore +++ b/.gitignore | |||
| @@ -1,5 +1,6 @@ | |||
| 1 | target | 1 | target |
| 2 | target_ci | 2 | target_ci |
| 3 | target_ci_stable | ||
| 3 | Cargo.lock | 4 | Cargo.lock |
| 4 | third_party | 5 | third_party |
| 5 | /Cargo.toml | 6 | /Cargo.toml |