mohr/nexosim
1
0
Fork 0
forked from ROMEO/nexosim
Code Pull Requests Activity

Merge pull request #2 from asynchronics/feature/improved-ci

Browse Source 
Feature/improved ci
This commit is contained in:
Serge Barral 2024-04-26 13:55:20 +02:00 committed by GitHub
commit 4de071eaf3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
.github/workflows/ci.yml vendored
View File

@ -3,7 +3,7 @@ name: CI
on: on:
pull_request: pull_request:
push: push:
branches: [ main ] branches: [ main, dev ]
env: env:
RUSTFLAGS: -Dwarnings RUSTFLAGS: -Dwarnings
@ -28,7 +28,7 @@ jobs:
toolchain: ${{ matrix.rust }} toolchain: ${{ matrix.rust }}
- name: Run cargo check - name: Run cargo check
run: cargo check run: cargo check --features="rpc grpc-server"
test: test:
name: Test suite name: Test suite
@ -41,7 +41,7 @@ jobs:
uses: dtolnay/rust-toolchain@stable uses: dtolnay/rust-toolchain@stable
- name: Run cargo test - name: Run cargo test
run: cargo test run: cargo test --features="rpc grpc-server"
loom-dry-run: loom-dry-run:
name: Loom dry run name: Loom dry run
@ -54,7 +54,7 @@ jobs:
uses: dtolnay/rust-toolchain@stable uses: dtolnay/rust-toolchain@stable
- name: Dry-run cargo test (Loom) - name: Dry-run cargo test (Loom)
run: cargo test --no-run --tests run: cargo test --no-run --tests --features="rpc grpc-server"
env: env:
RUSTFLAGS: --cfg asynchronix_loom RUSTFLAGS: --cfg asynchronix_loom
@ -71,7 +71,7 @@ jobs:
components: miri components: miri
- name: Run cargo miri tests - name: Run cargo miri tests
run: cargo miri test --tests --lib run: cargo miri test --tests --lib --features="rpc grpc-server"
env: env:
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation -Zmiri-num-cpus=4 MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation -Zmiri-num-cpus=4
@ -104,7 +104,7 @@ jobs:
run: cargo fmt --all -- --check run: cargo fmt --all -- --check
- name: Run cargo clippy - name: Run cargo clippy
run: cargo clippy run: cargo clippy --features="rpc grpc-server"
docs: docs:
name: Docs name: Docs
@ -117,4 +117,4 @@ jobs:
uses: dtolnay/rust-toolchain@stable uses: dtolnay/rust-toolchain@stable
- name: Run cargo doc - name: Run cargo doc
run: cargo doc --no-deps --document-private-items run: cargo doc --no-deps --features="rpc grpc-server" --document-private-items

2
asynchronix/src/rpc/endpoint_registry.rs
View File

@ -9,7 +9,7 @@ use serde::de::DeserializeOwned;
use serde::Serialize; use serde::Serialize;
use crate::ports::{EventSinkStream, EventSource, QuerySource, ReplyReceiver}; use crate::ports::{EventSinkStream, EventSource, QuerySource, ReplyReceiver};
use crate::time::{Action, ActionKey}; use crate::simulation::{Action, ActionKey};
/// A registry that holds all sources and sinks meant to be accessed through /// A registry that holds all sources and sinks meant to be accessed through
/// remote procedure calls. /// remote procedure calls.

3
asynchronix/src/rpc/key_registry.rs
View File

@ -1,4 +1,5 @@
use crate::time::{ActionKey, MonotonicTime}; use crate::simulation::ActionKey;
use crate::time::MonotonicTime;
use crate::util::indexed_priority_queue::{IndexedPriorityQueue, InsertKey}; use crate::util::indexed_priority_queue::{IndexedPriorityQueue, InsertKey};
pub(crate) type KeyRegistryId = InsertKey; pub(crate) type KeyRegistryId = InsertKey;