Release deployed/dev: Merge pull request #143 from conjectures-io/ci/merge-queue · conjectures-io/conjectures-validator · GitHub

Repository navigation

deployed/dev
d02805c
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Verified
Learn about vigilant mode
Choose a tag to compare

Filter

View all tags

deployed/dev: Merge pull request #143 from conjectures-io/ci/merge-queue

deployed/dev
d02805c
Choose a tag to compare

Filter

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Verified
Learn about vigilant mode

rob-dendrite tagged this 20 Oct 15:07

Run CI in the dev merge queue, and let a deploy trust what the queue …

Assets 2