Skip to content

Actions: MesTTo/LeaTTa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #2 from zariuq/fix/collapse-bare-tuple CI #27: Commit 3885010 pushed by MesTTo
5m 55s metatheory
metatheory
5m 55s
Fix/collapse bare tuple CI #26: Pull request #2 synchronize by zariuq
5m 46s zariuq:fix/collapse-bare-tuple
zariuq:fix/collapse-bare-tuple
5m 46s
Fix/collapse bare tuple CI #25: Pull request #2 opened by zariuq
5m 1s zariuq:fix/collapse-bare-tuple
zariuq:fix/collapse-bare-tuple
5m 1s
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
docs: prepare 1.0.8 release CI #24: Commit 9402319 pushed by MesTTo
5m 15s metatheory
metatheory
5m 15s
docs: prepare 1.0.8 release release #14: Commit 9402319 pushed by MesTTo
5m 12s v1.0.8
v1.0.8
5m 12s
metatheory: add MORK MM2 resource readback CI #23: Commit 4c8cad1 pushed by MesTTo
15m 36s metatheory
metatheory
15m 36s
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 release #13: Commit 46af912 pushed by MesTTo
5m 23s v1.0.7
v1.0.7
5m 23s
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
chore: prepare 1.0.7 release CI #22: Commit 46af912 pushed by MesTTo
4m 58s metatheory
metatheory
4m 58s
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
docs: refresh proof surface documentation CI #21: 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
metatheory: strengthen proof surface laws CI #20: Commit 0a0cd20 pushed by MesTTo
3m 46s metatheory
metatheory
3m 46s
release: align semantic runtime CI #19: Commit d565fc3 pushed by MesTTo
4m 58s metatheory
metatheory
4m 58s
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
release: align semantic runtime CI #18: Commit abf245c pushed by MesTTo
4m 48s metatheory
metatheory
4m 48s
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
Merge pull request #1 from zariuq/fix/collapse-bare-tuple CI #17: Commit ceab922 pushed by MesTTo
4m 57s metatheory
metatheory
4m 57s
chore: prepare 1.0.6 release release #12: Commit 51b4b52 pushed by MesTTo
8m 13s v1.0.6
v1.0.6
8m 13s
chore: prepare 1.0.6 release CI #15: Commit 51b4b52 pushed by MesTTo
5m 17s metatheory
metatheory
5m 17s
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