Skip to content
Deploy to GitHub Pages

refactor: remove unnecessary exported.Proof interface type (#6320) #387

Sign in to view logs

refactor: remove unnecessary exported.Proof interface type (#6320)

refactor: remove unnecessary exported.Proof interface type (#6320) #387

Triggered via push May 16, 2024 08:03
@colin-axnercolin-axner
pushed fd14522
main
Status Success
Total duration 1m 41s
Artifacts –

deploy-docs.yml

on: push
Deploy to GitHub Pages
1m 32s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in