Skip to content
Plugins

Merge branch 'main' into herbie20-crash #7138

Sign in to view logs

Merge branch 'main' into herbie20-crash

Merge branch 'main' into herbie20-crash #7138

Triggered via push November 7, 2025 19:33
@JonasRegehrJonasRegehr
pushed d1b9b12
herbie20-crash
Status Success
Total duration 5m 22s
Artifacts –

plugins.yml

on: push
Plugin tests (Posits)
5m 18s
Plugin tests (Posits)
Fit to window
Zoom out
Zoom in