Skip to content

Actions: proofsh/proofkit

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update metadata
Release #118: Commit 28d455e pushed by eluce2
41s main
fix formatting
Release #116: Commit e0b490a pushed by eluce2
39s main
update schama to inputSchema
Release #115: Commit 21bb39b pushed by eluce2
5m 49s main
misc fixes (#46)
Release #113: Commit f178005 pushed by eluce2
38s main
update typegen docs
Release #111: Commit 7b67d1a pushed by eluce2
40s main
shadcn webviewer
Release #110: Commit 1e40870 pushed by eluce2
38s main
update packages, fix build
Release #106: Commit a48b557 pushed by eluce2
5m 7s main
add auth docs (#41)
Release #105: Commit fb82785 pushed by eluce2
4m 58s main
update readme for webviewer
Release #102: Commit e8c5dbc pushed by eluce2
5m 12s main
update docs favicon
Release #100: Commit 4466563 pushed by eluce2
5m 15s main
fix broken guides links
Release #99: Commit a2a1378 pushed by eluce2
5m 23s main
Version packages
Release #98: Commit 8b676af pushed by eluce2
5m 45s main
update npm token
Release #96: Commit fa97056 pushed by eluce2
6m 12s main
fix build
Release #95: Commit 4a4e53f pushed by eluce2
4m 54s main