CI PR

Fix for issue #417 #819

Sign in to view logs

Triggered via pull request November 21, 2023 20:39

mkroetzsch

opened #422

issue-417

Status Cancelled

Total duration 2m 12s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr.yml

on: pull_request

Lint with clippy

Verify code formatting

Verify crate documentation

Check for undefined behaviour with miri

Test python bindings

Check python code formatting

Test wasm bindings

Matrix: test

Annotations

10 errors

Verify code formatting: nemo-physical/src/dictionary/hash_map_dictionary.rs#L1

Diff in /home/runner/work/nemo/nemo/nemo-physical/src/dictionary/hash_map_dictionary.rs

Verify code formatting: nemo-physical/src/dictionary/hash_map_dictionary.rs#L7

Diff in /home/runner/work/nemo/nemo/nemo-physical/src/dictionary/hash_map_dictionary.rs

Verify code formatting: nemo-physical/src/dictionary/hash_map_dictionary.rs#L29

Diff in /home/runner/work/nemo/nemo/nemo-physical/src/dictionary/hash_map_dictionary.rs

Verify code formatting: nemo-physical/src/dictionary/hash_map_dictionary.rs#L42

Diff in /home/runner/work/nemo/nemo/nemo-physical/src/dictionary/hash_map_dictionary.rs

Verify code formatting: nemo-physical/src/dictionary/hash_map_dictionary.rs#L126

Diff in /home/runner/work/nemo/nemo/nemo-physical/src/dictionary/hash_map_dictionary.rs

Verify code formatting: nemo-physical/src/dictionary/hash_map_dictionary.rs#L183

Diff in /home/runner/work/nemo/nemo/nemo-physical/src/dictionary/hash_map_dictionary.rs

Verify code formatting: nemo-physical/src/dictionary/hash_map_dictionary.rs#L461

Diff in /home/runner/work/nemo/nemo/nemo-physical/src/dictionary/hash_map_dictionary.rs

Verify code formatting

Process completed with exit code 1.

Check for undefined behaviour with miri

Canceling since a higher priority waiting request for 'ci-refs/pull/422/merge' exists

Check for undefined behaviour with miri

The operation was canceled.