Failed to load latest commit information.

Type

Name

Latest commit message

Commit time

.github

chore: Update auto-publish.yml (#1010 )

June 28, 2023 09:08

images

chore(images/state-transitions): store image file for safe keeping

November 12, 2018 20:24

.pr-preview.json

Create pr-preview config file.

March 1, 2017 18:07

LICENSE.md

Update LICENSE.md

May 4, 2017 07:28

README.md

chore: Latest is always on TR

September 7, 2021 12:04

echidna-manifest.txt

chore(echidna): use new ReSpec url syntax

March 28, 2019 00:57

errata.html

chore: create errata.html

August 31, 2022 09:20

index.html

[Spec] Relax user activation requirement for show() (#1009 )

June 28, 2023 15:49

tidyconfig.txt

chore: tidy + custom-tag support

December 17, 2019 21:43

w3c.json

chore(w3c.json): remove deprecated field (#826 )

January 17, 2019 15:14