Skip to content
Sync repos

chore: remove trivium from main workspace #1685

Sign in to view logs

chore: remove trivium from main workspace

chore: remove trivium from main workspace #1685

Triggered via push March 17, 2025 13:22
@mayeul-zamamayeul-zama
pushed 1600f8c
main
Status Success
Total duration 25s
Artifacts –

sync_on_push.yml

on: push
sync-repo
17s
sync-repo
Fit to window
Zoom out
Zoom in