mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-07-07 21:15:04 +00:00
dee13f076a
Some checks failed
Rust CI / Build with MSRV (push) Has been cancelled
Rust CI / Check (push) Has been cancelled
Rust CI / Tests (push) Has been cancelled
Rust CI / Rustfmt (push) Has been cancelled
Rust CI / Clippy (push) Has been cancelled
Rust CI / Check line endings (push) Has been cancelled
Deploy Web Demo / deploy (push) Has been cancelled
Lint Code Base / Lint Code Base (push) Has been cancelled
Check nix code / Check nix code (push) Has been cancelled
Codecov Coverage / coverage (push) Has been cancelled
|
||
|---|---|---|
| .. | ||
| coq | ||
| nix | ||