Skip to content

Issue/6 add relation super trait #8

Issue/6 add relation super trait

Issue/6 add relation super trait #8

Triggered via pull request August 15, 2024 11:57
Status Success
Total duration 1m 7s
Artifacts

pr.yml

on: pull_request
Lint with clippy
30s
Lint with clippy
Verify code formatting
16s
Verify code formatting
Verify crate documentation
21s
Verify crate documentation
Check for undefined behaviour with miri
56s
Check for undefined behaviour with miri
Matrix: test
Fit to window
Zoom out
Zoom in