Skip to content

Actions: tskit-dev/tskit-rust

Actions

Miri

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
miri.yml
67 workflow run results
67 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DO NOT MERGE: simplistic edge buffering example Miri #67: Pull request #555 synchronize by molpopgen
October 23, 2023 20:26 2m 2s buffering_example
buffering_example
October 23, 2023 20:26 2m 2s
DO NOT MERGE: simplistic edge buffering example Miri #66: Pull request #555 synchronize by molpopgen
October 23, 2023 20:21 2m 17s buffering_example
buffering_example
October 23, 2023 20:21 2m 17s
DO NOT MERGE: simplistic edge buffering example Miri #65: Pull request #555 synchronize by molpopgen
October 23, 2023 17:35 2m 12s buffering_example
buffering_example
October 23, 2023 17:35 2m 12s
DO NOT MERGE: simplistic edge buffering example Miri #64: Pull request #555 synchronize by molpopgen
October 23, 2023 17:23 2m 4s buffering_example
buffering_example
October 23, 2023 17:23 2m 4s
DO NOT MERGE: simplistic edge buffering example Miri #63: Pull request #555 opened by molpopgen
October 23, 2023 17:22 2m 0s buffering_example
buffering_example
October 23, 2023 17:22 2m 0s
table refs now use tskbox Miri #62: Pull request #554 synchronize by molpopgen
October 11, 2023 23:42 1m 42s table_references
table_references
October 11, 2023 23:42 1m 42s
table refs now use tskbox Miri #61: Pull request #554 opened by molpopgen
October 11, 2023 23:00 1m 49s table_references
table_references
October 11, 2023 23:00 1m 49s
refactor: TskBox::new now returns Result Miri #60: Pull request #553 opened by molpopgen
October 11, 2023 18:44 2m 13s tskbox_return_err
tskbox_return_err
October 11, 2023 18:44 2m 13s
refactor: remove unsafe label from fn that is now safe Miri #59: Pull request #552 synchronize by molpopgen
October 11, 2023 17:27 1m 46s fn_is_now_safe
fn_is_now_safe
October 11, 2023 17:27 1m 46s
refactor: remove unsafe label from fn that is now safe Miri #58: Pull request #552 synchronize by molpopgen
October 11, 2023 17:24 1m 47s fn_is_now_safe
fn_is_now_safe
October 11, 2023 17:24 1m 47s
refactor: remove unsafe label from fn that is now safe Miri #57: Pull request #552 opened by molpopgen
October 11, 2023 17:24 1m 56s fn_is_now_safe
fn_is_now_safe
October 11, 2023 17:24 1m 56s
replace MBox with TskBox for low-level tree Miri #56: Pull request #551 synchronize by molpopgen
October 11, 2023 17:10 2m 7s tree_treeseq_tskbox
tree_treeseq_tskbox
October 11, 2023 17:10 2m 7s
replace MBox with TskBox for low-level tree Miri #55: Pull request #551 opened by molpopgen
October 11, 2023 16:42 1m 55s tree_treeseq_tskbox
tree_treeseq_tskbox
October 11, 2023 16:42 1m 55s
Replace MBox for TskBox for TableCollection Miri #54: Pull request #539 synchronize by molpopgen
October 10, 2023 23:30 2m 25s table_collection_tskbox
table_collection_tskbox
October 10, 2023 23:30 2m 25s
Replace MBox for TskBox for TableCollection Miri #53: Pull request #539 synchronize by molpopgen
October 10, 2023 22:43 2m 5s table_collection_tskbox
table_collection_tskbox
October 10, 2023 22:43 2m 5s
Replace MBox for TskBox for TableCollection Miri #52: Pull request #539 synchronize by molpopgen
October 10, 2023 22:41 1m 59s table_collection_tskbox
table_collection_tskbox
October 10, 2023 22:41 1m 59s
Replace MBox for TskBox for TableCollection Miri #51: Pull request #539 synchronize by molpopgen
October 10, 2023 22:33 2m 11s table_collection_tskbox
table_collection_tskbox
October 10, 2023 22:33 2m 11s
Replace MBox for TskBox for TableCollection Miri #50: Pull request #539 synchronize by molpopgen
October 10, 2023 21:15 2m 14s table_collection_tskbox
table_collection_tskbox
October 10, 2023 21:15 2m 14s
Replace MBox for TskBox for TableCollection Miri #49: Pull request #539 synchronize by molpopgen
October 10, 2023 21:10 2m 25s table_collection_tskbox
table_collection_tskbox
October 10, 2023 21:10 2m 25s
Replace MBox for TskBox for TableCollection Miri #48: Pull request #539 synchronize by molpopgen
October 10, 2023 19:11 1m 40s table_collection_tskbox
table_collection_tskbox
October 10, 2023 19:11 1m 40s
Replace MBox for TskBox for TableCollection Miri #47: Pull request #539 synchronize by molpopgen
October 10, 2023 18:55 1m 36s table_collection_tskbox
table_collection_tskbox
October 10, 2023 18:55 1m 36s
chore: pin clap in Cargo.toml Miri #46: Pull request #550 synchronize by molpopgen
October 10, 2023 18:42 1m 54s pin_clap
pin_clap
October 10, 2023 18:42 1m 54s
chore: run cargo check on the feature powerset for msrv Miri #45: Pull request #549 synchronize by molpopgen
October 10, 2023 18:32 1m 59s only_check_msrv
only_check_msrv
October 10, 2023 18:32 1m 59s
chore: run cargo check on the feature powerset for msrv Miri #44: Pull request #549 synchronize by molpopgen
October 10, 2023 18:26 1m 41s only_check_msrv
only_check_msrv
October 10, 2023 18:26 1m 41s
chore: run cargo check on the feature powerset for msrv Miri #43: Pull request #549 synchronize by molpopgen
October 10, 2023 18:24 2m 9s only_check_msrv
only_check_msrv
October 10, 2023 18:24 2m 9s