Skip to content
Sanity

Merge pull request #37 from plasma-umass/factor-out #56

Sign in to view logs

Merge pull request #37 from plasma-umass/factor-out

Merge pull request #37 from plasma-umass/factor-out #56

Triggered via push October 4, 2023 19:48
@emerybergeremeryberger
pushed b6d3a56
main
Status Success
Total duration 29s
Artifacts –

sanity.yml

on: push
sanity
18s
sanity
Fit to window
Zoom out
Zoom in