Skip to content
post-merge

chore: use machete instead of udeps in CI #286

Sign in to view logs

chore: use machete instead of udeps in CI

chore: use machete instead of udeps in CI #286

Triggered via pull request July 16, 2024 10:49
@dorimedini-starkwaredorimedini-starkware
closed #311
dori/use-machete-instead-of-udeps
Status Success
Total duration 2m 13s
Artifacts –

post-merge.yml

on: pull_request
if_merged
2m 3s
if_merged
Fit to window
Zoom out
Zoom in