Skip to content

Actions: MesTTo/LeaTTa

Actions

Deploy the LeaTTa book and API docs to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
29 workflow runs
29 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #2 from zariuq/fix/collapse-bare-tuple Deploy the LeaTTa book and API docs to GitHub Pages #29: Commit 3885010 pushed by MesTTo
2h 5m 37s metatheory
metatheory
2h 5m 37s
docs: prepare 1.0.8 release Deploy the LeaTTa book and API docs to GitHub Pages #28: Commit 9402319 pushed by MesTTo
1h 59m 21s metatheory
metatheory
1h 59m 21s
metatheory: add MORK MM2 resource readback Deploy the LeaTTa book and API docs to GitHub Pages #27: Commit 4c8cad1 pushed by MesTTo
27m 52s metatheory
metatheory
27m 52s
chore: prepare 1.0.7 release Deploy the LeaTTa book and API docs to GitHub Pages #26: Commit 46af912 pushed by MesTTo
1h 58m 23s metatheory
metatheory
1h 58m 23s
docs: refresh proof surface documentation Deploy the LeaTTa book and API docs to GitHub Pages #25: Commit d9a1728 pushed by MesTTo
4m 36s metatheory
metatheory
4m 36s
metatheory: strengthen proof surface laws Deploy the LeaTTa book and API docs to GitHub Pages #24: Commit 0a0cd20 pushed by MesTTo
11m 18s metatheory
metatheory
11m 18s
release: align semantic runtime Deploy the LeaTTa book and API docs to GitHub Pages #23: Commit d565fc3 pushed by MesTTo
1h 21m 46s metatheory
metatheory
1h 21m 46s
release: align semantic runtime Deploy the LeaTTa book and API docs to GitHub Pages #22: Commit abf245c pushed by MesTTo
7m 52s metatheory
metatheory
7m 52s
Merge pull request #1 from zariuq/fix/collapse-bare-tuple Deploy the LeaTTa book and API docs to GitHub Pages #21: Commit ceab922 pushed by MesTTo
1h 59m 54s metatheory
metatheory
1h 59m 54s
chore: prepare 1.0.6 release Deploy the LeaTTa book and API docs to GitHub Pages #20: Commit 51b4b52 pushed by MesTTo
1h 58m 18s metatheory
metatheory
1h 58m 18s
chore: prepare 1.0.5 release Deploy the LeaTTa book and API docs to GitHub Pages #19: Commit a51adf8 pushed by MesTTo
1h 39m 59s metatheory
metatheory
1h 39m 59s
chore: prepare 1.0.4 release Deploy the LeaTTa book and API docs to GitHub Pages #18: Commit a4bcde0 pushed by MesTTo
9m 22s metatheory
metatheory
9m 22s
chore: prepare 1.0.3 release Deploy the LeaTTa book and API docs to GitHub Pages #17: Commit e7a0209 pushed by MesTTo
49m 12s metatheory
metatheory
49m 12s
chore: prepare 1.0.2 release Deploy the LeaTTa book and API docs to GitHub Pages #16: Commit 6befd84 pushed by MesTTo
1h 22m 47s metatheory
metatheory
1h 22m 47s
docs: rewrite release README Deploy the LeaTTa book and API docs to GitHub Pages #15: Commit 20890ee pushed by MesTTo
53m 53s metatheory
metatheory
53m 53s
docs: rewrite release README scope Deploy the LeaTTa book and API docs to GitHub Pages #14: Commit 09c8a4a pushed by MesTTo
1h 56m 49s metatheory
metatheory
1h 56m 49s
LeaTTa 1.0.1 Deploy the LeaTTa book and API docs to GitHub Pages #13: Commit 97c21bb pushed by MesTTo
10m 57s metatheory
metatheory
10m 57s
LeaTTa 1.0.0 Deploy the LeaTTa book and API docs to GitHub Pages #12: Commit a469e97 pushed by MesTTo
1h 58m 44s metatheory
metatheory
1h 58m 44s
LeaTTa 0.5.0 Deploy the LeaTTa book and API docs to GitHub Pages #11: Commit 99419ef pushed by MesTTo
1h 50m 5s metatheory
metatheory
1h 50m 5s
LeaTTa 0.4.0 Deploy the LeaTTa book and API docs to GitHub Pages #10: Commit 88e80ea pushed by MesTTo
1h 31m 3s metatheory
metatheory
1h 31m 3s
book: rewrite remaining chapters in the metta-lang.dev tutorial voice Deploy the LeaTTa book and API docs to GitHub Pages #9: Commit 7e63fe5 pushed by MesTTo
1h 32m 33s metatheory
metatheory
1h 32m 33s
chore: bump version to 0.3.1 for the fix release Deploy the LeaTTa book and API docs to GitHub Pages #8: Commit f174e4a pushed by MesTTo
18m 22s metatheory
metatheory
18m 22s
fix: book Ground type was missing the external constructor Deploy the LeaTTa book and API docs to GitHub Pages #7: Commit 5915f2b pushed by MesTTo
51m 16s metatheory
metatheory
51m 16s
docs: generate and host a doc-gen4 API reference at /api Deploy the LeaTTa book and API docs to GitHub Pages #6: Commit 479ca28 pushed by MesTTo
1h 49m 50s metatheory
metatheory
1h 49m 50s
book: banner background, centered reading column, clickable refs, alp… Deploy the LeaTTa book and API docs to GitHub Pages #5: Commit 5d1b5ae pushed by MesTTo
4m 54s metatheory
metatheory
4m 54s