Skip to content

Merge branch 'main' of https://github.com/herbie-fp/herbie into adity… #5355

Merge branch 'main' of https://github.com/herbie-fp/herbie into adity…

Merge branch 'main' of https://github.com/herbie-fp/herbie into adity… #5355

Triggered via push February 5, 2025 20:23
Status Failure
Total duration 1m 35s
Artifacts

plugins.yml

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

Annotations

1 error
Plugin tests (Posits)
Process completed with exit code 2.