Skip to content

Actions: lento-lang/lento-lang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lento-vision.pdf Deploy Hugo site to Pages #43: Commit 4b3adce pushed by WilliamRagstad
39s main
main
39s
Update lento-vision.pdf Deploy Hugo site to Pages #42: Commit fa0f15b pushed by WilliamRagstad
35s main
main
35s
Update lento-vision.pdf Deploy Hugo site to Pages #41: Commit 2891c94 pushed by WilliamRagstad
39s main
main
39s
Update _index.md Deploy Hugo site to Pages #40: Commit a999208 pushed by WilliamRagstad
42s main
main
42s
Update community links and docs navigation Deploy Hugo site to Pages #39: Commit 82fe261 pushed by WilliamRagstad
43s main
main
43s
Update community page content and formatting Deploy Hugo site to Pages #38: Commit d9188c8 pushed by WilliamRagstad
44s main
main
44s
Add WilliamR.dev blog link to docs index Deploy Hugo site to Pages #37: Commit 1e7b270 pushed by WilliamRagstad
50s main
main
50s
Update _index.md Deploy Hugo site to Pages #36: Commit 5a613ec pushed by WilliamRagstad
43s main
main
43s
Update reference manual link text in docs Deploy Hugo site to Pages #35: Commit b615412 pushed by WilliamRagstad
45s main
main
45s
Reorder and add topics in docs index Deploy Hugo site to Pages #34: Commit a0c74f4 pushed by WilliamRagstad
43s main
main
43s
Add session types and type system links to docs index Deploy Hugo site to Pages #33: Commit 39cbe9c pushed by WilliamRagstad
42s main
main
42s
Revise docs index and add Lento vision paper Deploy Hugo site to Pages #32: Commit a3b4e12 pushed by WilliamRagstad
39s main
main
39s
Delete settings.json Deploy Hugo site to Pages #31: Commit fbe9532 pushed by WilliamRagstad
41s main
main
41s
Update settings.json Deploy Hugo site to Pages #30: Commit f41a54a pushed by WilliamRagstad
55s main
main
55s
Improve docs! Deploy Hugo site to Pages #29: Commit 2f160df pushed by WilliamRagstad
58s main
main
58s
Add examples Deploy Hugo site to Pages #28: Commit 8684e70 pushed by WilliamRagstad
52s main
main
52s
Fix grid and update icons Deploy Hugo site to Pages #27: Commit e77b239 pushed by WilliamRagstad
49s main
main
49s