Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

informalsystems / hermes Public

Notifications You must be signed in to change notification settings
Fork 386
Star 479

Code
Issues 176
Pull requests 34
Discussions
Actions
Projects 1
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Discussions
Actions
Projects
Wiki
Security
Insights

Releases: informalsystems/hermes

Releases Tags

Releases · informalsystems/hermes

v0.11.1

04 Feb 13:29

github-actions

v0.11.1

This tag was signed with the committer’s verified signature. The key has expired.

romac Romain Ruetschi

GPG key ID: FB9DD073044377FF

Expired

Verified

Learn about vigilant mode.

e16d5f6

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.11.1

📖 CHANGELOG

Assets 8

Uh oh!

There was an error while loading. Please reload this page.

crodriguezvega, RaulBernal, Romainua, and eshelB reacted with rocket emoji

All reactions

🚀 4 reactions

4 people reacted

v0.11.0

28 Jan 10:59

github-actions

v0.11.0

This tag was signed with the committer’s verified signature. The key has expired.

romac Romain Ruetschi

GPG key ID: FB9DD073044377FF

Expired

Verified

Learn about vigilant mode.

288a1ab

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.11.0

📖 CHANGELOG

Assets 8

Uh oh!

There was an error while loading. Please reload this page.

All reactions

v0.10.0

13 Jan 09:30

github-actions

v0.10.0

This tag was signed with the committer’s verified signature. The key has expired.

romac Romain Ruetschi

GPG key ID: FB9DD073044377FF

Expired

Verified

Learn about vigilant mode.

7cf3541

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.10.0

📖 CHANGELOG

Assets 6

Uh oh!

There was an error while loading. Please reload this page.

All reactions

v0.9.0

23 Nov 11:18

github-actions

v0.9.0

This tag was signed with the committer’s verified signature.

hu55a1n1 Shoaib Ahmed

GPG key ID: 179E7AF575B2889E

Verified

Learn about vigilant mode.

289ef0d

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.9.0

📖 CHANGELOG

Assets 6

Uh oh!

There was an error while loading. Please reload this page.

cyborgshead, reuvenpo, and RaulBernal reacted with thumbs up emoji

cyborgshead, reuvenpo, and RaulBernal reacted with heart emoji

cyborgshead, reuvenpo, and RaulBernal reacted with rocket emoji

All reactions

👍 3 reactions
❤️ 3 reactions
🚀 3 reactions

3 people reacted

v0.8.0

01 Nov 16:53

github-actions

v0.8.0

This tag was signed with the committer’s verified signature.

hu55a1n1 Shoaib Ahmed

GPG key ID: 179E7AF575B2889E

Verified

Learn about vigilant mode.

a3a1ad6

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.8.0

📖 CHANGELOG

Assets 6

Uh oh!

There was an error while loading. Please reload this page.

reuvenpo reacted with heart emoji

reuvenpo reacted with rocket emoji

reuvenpo reacted with eyes emoji

All reactions

❤️ 1 reaction
🚀 1 reaction
👀 1 reaction

1 person reacted

v0.8.0-pre.1

22 Oct 13:54

github-actions

v0.8.0-pre.1

This tag was signed with the committer’s verified signature. The key has expired.

romac Romain Ruetschi

GPG key ID: FB9DD073044377FF

Expired

Verified

Learn about vigilant mode.

77b0a0a

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.8.0-pre.1 Pre-release

Pre-release

📖 CHANGELOG

Assets 6

Uh oh!

There was an error while loading. Please reload this page.

All reactions

v0.7.3

04 Oct 18:16

github-actions

v0.7.3

This tag was signed with the committer’s verified signature. The key has expired.

romac Romain Ruetschi

GPG key ID: FB9DD073044377FF

Expired

Verified

Learn about vigilant mode.

5d53e52

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.7.3

📖 CHANGELOG

Assets 6

Uh oh!

There was an error while loading. Please reload this page.

askolesov reacted with rocket emoji

All reactions

🚀 1 reaction

1 person reacted

v0.7.2

24 Sep 09:32

github-actions

v0.7.2

This tag was signed with the committer’s verified signature. The key has expired.

romac Romain Ruetschi

GPG key ID: FB9DD073044377FF

Expired

Verified

Learn about vigilant mode.

e2ce200

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.7.2

📖 CHANGELOG

Assets 6

Uh oh!

There was an error while loading. Please reload this page.

All reactions

v0.7.1

14 Sep 20:40

github-actions

v0.7.1

This tag was signed with the committer’s verified signature. The key has expired.

romac Romain Ruetschi

GPG key ID: FB9DD073044377FF

Expired

Verified

Learn about vigilant mode.

5d38857

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.7.1

📖 CHANGELOG

Assets 6

Uh oh!

There was an error while loading. Please reload this page.

All reactions

v0.7.0

24 Aug 10:12

github-actions

v0.7.0

This tag was signed with the committer’s verified signature. The key has expired.

romac Romain Ruetschi

GPG key ID: FB9DD073044377FF

Expired

Verified

Learn about vigilant mode.

730a263

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.7.0

📖 CHANGELOG

Assets 6

Uh oh!

There was an error while loading. Please reload this page.

All reactions

Previous 1 2 3 4 5 6 7 Next

Previous Next

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.