Skip to content

Remove needless traits along with async-trait usage #1735

Remove needless traits along with async-trait usage

Remove needless traits along with async-trait usage #1735

Triggered via pull request July 21, 2024 11:43
Status Success
Total duration 1m 53s
Artifacts

Miri.yml

on: pull_request
Fit to window
Zoom out
Zoom in