Skip to content

Add docs for reproducible build#1805

Merged
timotheeguerin merged 9 commits into
microsoft:mainfrom
timotheeguerin:docs/reproducibility
Apr 10, 2023
Merged

Add docs for reproducible build#1805
timotheeguerin merged 9 commits into
microsoft:mainfrom
timotheeguerin:docs/reproducibility

Conversation

@timotheeguerin

@timotheeguerin timotheeguerin commented Apr 7, 2023

Copy link
Copy Markdown
Member

fix #2267

@github-actions

github-actions Bot commented Apr 7, 2023

Copy link
Copy Markdown
Contributor

Changes in this PR will be published to the following url to try(check status of TypeSpec Pull Request Try It pipeline for publish status):
Playground: https://cadlplayground.z22.web.core.windows.net/prs/1805/

Website: https://cadlwebsite.z1.web.core.windows.net/prs/1805/

Comment thread docs/introduction/reproducibility.md Outdated
Comment thread docs/introduction/reproducibility.md Outdated
Comment thread docs/introduction/reproducibility.md Outdated
Comment thread docs/introduction/reproducibility.md Outdated
Comment thread docs/introduction/reproducibility.md Outdated
Comment thread docs/introduction/reproducibility.md Outdated
Comment thread docs/introduction/reproducibility.md Outdated
Comment thread docs/introduction/reproducibility.md Outdated
timotheeguerin and others added 8 commits April 10, 2023 09:06
Co-authored-by: Nick Guerrera <nicholg@microsoft.com>
Co-authored-by: Nick Guerrera <nicholg@microsoft.com>
Co-authored-by: Nick Guerrera <nicholg@microsoft.com>
Co-authored-by: Nick Guerrera <nicholg@microsoft.com>
Co-authored-by: Nick Guerrera <nicholg@microsoft.com>
Co-authored-by: Nick Guerrera <nicholg@microsoft.com>
Co-authored-by: Nick Guerrera <nicholg@microsoft.com>
Co-authored-by: Nick Guerrera <nicholg@microsoft.com>
@timotheeguerin
timotheeguerin enabled auto-merge (squash) April 10, 2023 16:07
@timotheeguerin
timotheeguerin merged commit 1891688 into microsoft:main Apr 10, 2023
@timotheeguerin
timotheeguerin deleted the docs/reproducibility branch July 26, 2023 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants