Skip to content
Merged
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
29 changes: 29 additions & 0 deletions .github/agents/copilot-instructions.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
# hit-leiden Development Guidelines

Auto-generated from all feature plans. Last updated: 2026-02-19

## Active Technologies

- Rust stable (>= 1.76) + `rayon`, `clap`, `serde`/`serde_json`, `thiserror`, `smallvec`, `bitvec`, optional FFI (`cxx` or `bindgen`-based backend) (001-hit-leiden-rust)

## Project Structure

```text
src/
tests/
```

## Commands

cargo test [ONLY COMMANDS FOR ACTIVE TECHNOLOGIES][ONLY COMMANDS FOR ACTIVE TECHNOLOGIES] cargo clippy

## Code Style

Rust stable (>= 1.76): Follow standard conventions

## Recent Changes

- 001-hit-leiden-rust: Added Rust stable (>= 1.76) + `rayon`, `clap`, `serde`/`serde_json`, `thiserror`, `smallvec`, `bitvec`, optional FFI (`cxx` or `bindgen`-based backend)

<!-- MANUAL ADDITIONS START -->
<!-- MANUAL ADDITIONS END -->
14 changes: 14 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
name: ci

on:
push:
pull_request:

jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
- name: Test
run: cargo test --all-targets
19 changes: 19 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,25 @@ target
# Contains mutation testing data
**/mutants.out*/

# Rust build outputs and profiling artifacts
release/
*.rlib
*.prof*
*.out

# Logs and local environment
*.log
.env*
.private

# Editor and OS artifacts
.vscode/
.idea/
.DS_Store
Thumbs.db
*.tmp
*.swp

# RustRover
# JetBrains specific template is maintained in a separate JetBrains.gitignore that can
# be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
Expand Down
Loading