Skip to content

Actions: mlswg/mls-architecture

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add new Terminology section. Update Editor's Copy #302: Pull request #202 synchronize by ekr
October 21, 2023 14:53 23s ekr:intro_terminology_section
ekr:intro_terminology_section
October 21, 2023 14:53 23s
Remove essentially all uses of "tree". Update Editor's Copy #301: Pull request #201 synchronize by ekr
October 21, 2023 14:49 26s ekr:trees_and_leaf_nodes
ekr:trees_and_leaf_nodes
October 21, 2023 14:49 26s
Remove essentially all uses of "tree". Update Editor's Copy #300: Pull request #201 synchronize by ekr
October 21, 2023 14:48 35s ekr:trees_and_leaf_nodes
ekr:trees_and_leaf_nodes
October 21, 2023 14:48 35s
Introduce the terms 'Proposal' and 'Commit' Update Editor's Copy #299: Pull request #200 synchronize by ekr
October 21, 2023 14:44 27s ekr:proposals_and_commits
ekr:proposals_and_commits
October 21, 2023 14:44 27s
Introduce the terms 'Proposal' and 'Commit' Update Editor's Copy #298: Pull request #200 synchronize by ekr
October 21, 2023 14:44 24s ekr:proposals_and_commits
ekr:proposals_and_commits
October 21, 2023 14:44 24s
Add new Terminology section. Update Editor's Copy #297: Pull request #202 synchronize by ekr
October 21, 2023 14:43 30s ekr:intro_terminology_section
ekr:intro_terminology_section
October 21, 2023 14:43 30s
Add new Terminology section. Update Editor's Copy #296: Pull request #202 synchronize by ekr
October 21, 2023 14:43 28s ekr:intro_terminology_section
ekr:intro_terminology_section
October 21, 2023 14:43 28s
pages build and deployment pages-build-deployment #117: by github-pages bot
September 28, 2023 06:45 48s gh-pages
gh-pages
September 28, 2023 06:45 48s
Fix typo Update Editor's Copy #295: Commit d4622d3 pushed by beurdouche
September 28, 2023 06:44 42s main
main
September 28, 2023 06:44 42s
Retrieve initial keying material from DS, not AS Update Editor's Copy #294: Pull request #204 synchronize by beurdouche
September 28, 2023 06:44 45s thomdixon:thomdixon/ikm-errata
thomdixon:thomdixon/ikm-errata
September 28, 2023 06:44 45s
pages build and deployment pages-build-deployment #116: by github-pages bot
September 11, 2023 08:44 57s gh-pages
gh-pages
September 11, 2023 08:44 57s
Change rathr -> rather Update Editor's Copy #292: Commit e246f22 pushed by beurdouche
September 11, 2023 08:43 42s main
main
September 11, 2023 08:43 42s