This repository was archived by the owner on Apr 25, 2025. It is now read-only.

[spec] New instructions#50

Closed

rossberg wants to merge 7 commits intospecfrom

Commits on Jun 25, 2021

[spec] New instructions
rossberg
committed

Commits on Jun 28, 2021

[spec] Fix a bunch of minor editorial issues (#1338)
rossberg
authored

Commits on Jul 16, 2021

Create Github Actions workflow for CI (#1344)
takikawa
authored

Commits on Jul 24, 2021

Commits on Aug 6, 2021

[spec] Add concrete ref types (#49)
rossberg
authored

Commits on Aug 9, 2021

Merge branch 'master' into spec2
rossberg
committed