Skip to content
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
spec2
Closed

[spec] New instructions#50
rossberg wants to merge 7 commits intospecfrom
spec2

Conversation

@rossberg
Copy link
Member

Add the (non-controversial ones of the) new instructions to the spec.

@rossberg rossberg requested a review from conrad-watt June 25, 2021 06:54
@conrad-watt
Copy link
Contributor

Is this PR based on top of #49? If so, I'll review that first.

@rossberg
Copy link
Member Author

Yes, this PR is against the branch used by #49.

takikawa and others added 5 commits July 16, 2021 10:32
This addresses issue #1342 for spec publishing.

The added workflow will run on commit and PRs and will
run CI for both reference interpreter build/test and
for building the spec documents.

It will also publish them to the gh-pages branch.
@rossberg rossberg mentioned this pull request Aug 9, 2021
@rossberg
Copy link
Member Author

rossberg commented Aug 9, 2021

Superseded by #52.

@rossberg rossberg closed this Aug 9, 2021
@rossberg rossberg deleted the spec2 branch September 17, 2021 14:36
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants