Skip to content
Odyssey Test Suite

Merge branch 'main' of https://github.com/herbie-fp/odyssey #315

Sign in to view logs

Merge branch 'main' of https://github.com/herbie-fp/odyssey

Merge branch 'main' of https://github.com/herbie-fp/odyssey #315

Triggered via push June 2, 2025 21:06
@benwang33benwang33
pushed 0c4566d
main
Status Success
Total duration 1m 32s
Artifacts –

test_suite.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in