Skip to content
Back to pull request #6219

refactor(data_structures): remove is_empty methods for non-empty stacks #1610

Sign in to view logs

refactor(data_structures): remove is_empty methods for non-empty stacks

refactor(data_structures): remove is_empty methods for non-empty stacks #1610

Triggered via pull request October 1, 2024 14:58
@BoshenBoshen
synchronize #6219
10-01-refactor_data_structures_remove_is_empty_methods_for_non-empty_stacks
Status Failure
Total duration 9m 31s
Artifacts –

miri.yml

on: pull_request
Miri
5m 38s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 error
Miri
Process completed with exit code 1.