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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Deploy to GitHub Pages
1m 32s
1m 32s