Public vals
6
kaleidawave
getLatestGitHubRun
HTTP
A redirect to the most recent run of a workflow. Specify with /*user*/*repository*/*branch* and optionally ?workflow=*name* where name is a substring in the path. (else takes to latest of any run) Example: https://kaleidawave-getlatestgithubrun.web.val.run/kaleidawave/ezno/main?workflow=lines-of-code TODO Add handling for no runs etc Handling for GitHub API limits API versioning
0
kaleidawave
savedNamedPlaygrounds
HTTP
For the future playground for the Ezno type checker: https://github.com/kaleidawave/ezno/pull/115 Can save an id for a content and recall content from an id (thus acting as a sort of compressor) Inspired by how the https://play.rust-lang.org/ shares playgrounds. (However uses a SQL-lite db hosted by Valtown rather than GitHub gists)
1