Skip to content
This repository has been archived by the owner on Oct 22, 2023. It is now read-only.

Merge master into devnet2 #954

Draft
wants to merge 93 commits into
base: devnet2
Choose a base branch
from
Draft

Merge master into devnet2 #954

wants to merge 93 commits into from

Conversation

nhynes
Copy link
Contributor

@nhynes nhynes commented Dec 4, 2019

No description provided.

ravenac95 and others added 30 commits August 8, 2019 20:27
Add staging-devnet2 promotion to production
buildkite/deploy: remove unexisting hwekiden reference
benchmarking: fix benchmarking docker image build
genesis_playback: set io_root to empty hash
peterjgilbert and others added 22 commits October 17, 2019 16:04
RFC: remove `realpath` in symlink_artifacts
ci: fix oasis-core-ci pipeline references
Otherwise, the badge shows the last build's status on any branch.
ci: Scope Buildkite build status badge to the master branch
@nhynes nhynes force-pushed the devnet2 branch 6 times, most recently from 5e13918 to d5de624 Compare December 8, 2019 04:33
@ptrus
Copy link
Contributor

ptrus commented Apr 14, 2020

I think devnet2 branch is not needed anymore, so we can delete it right? (and close this PR) cc @peterjgilbert

@peterjgilbert
Copy link
Member

I think devnet2 branch is not needed anymore, so we can delete it right? (and close this PR) cc @peterjgilbert

Yes, I think we can delete devnet2 branch. @nhynes, ack?

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.

9 participants