This repository has been archived by the owner on Aug 15, 2024. It is now read-only.
Add single threaded resolver and multithreaded record-playback ability #48
ci.yaml
on: pull_request
cargo build and test
28s
cargo fmt
25s
Annotations
10 errors and 2 warnings
cargo build and test:
src/cs/implementations/reference_cs.rs#L17
unused import: `std::sync::RwLock`
|
cargo build and test:
src/cs/cs_builder_reference.rs#L452
struct `reference_cs::CSReferenceImplementation<F, P, CFG, GC, TB, CR>` has no field named `variables_storage`
|
cargo build and test:
src/cs/implementations/cs.rs#L106
no field `variables_storage` on type `&mut reference_cs::CSReferenceImplementation<F, P, CFG, GC, T, CR>`
|
cargo build and test:
src/cs/implementations/cs.rs#L145
no field `variables_storage` on type `&mut reference_cs::CSReferenceImplementation<F, P, CFG, GC, T, CR>`
|
cargo build and test:
src/cs/implementations/cs.rs#L164
no field `variables_storage` on type `&reference_cs::CSReferenceImplementation<F, P, CFG, GC, T, CR>`
|
cargo build and test:
src/cs/implementations/cs.rs#L171
no field `variables_storage` on type `&reference_cs::CSReferenceImplementation<F, P, CFG, GC, T, CR>`
|
cargo build and test:
src/cs/implementations/cs.rs#L203
no field `variables_storage` on type `&reference_cs::CSReferenceImplementation<F, P, CFG, GC, T, CR>`
|
cargo build and test:
src/cs/implementations/reference_cs.rs#L133
no field `variables_storage` on type `&mut reference_cs::CSReferenceImplementation<F, P, CFG, GC, T, CR>`
|
cargo build and test:
src/cs/implementations/reference_cs.rs#L152
no field `variables_storage` on type `&mut reference_cs::CSReferenceImplementation<F, P, CFG, GC, T, CR>`
|
cargo build and test:
src/cs/implementations/cs.rs#L161
unused import: `crate::dag::Awaiter`
|
cargo fmt
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
cargo build and test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|