Skip to content

Nightly Release v-2025-12-04-0715

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 04 Dec 07:15
v-2025-12-04-0715
a6ca151
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Gobra-IDE: commit a6ca151

Gobra: commit 3c99ed4be1ea387d7935480034463371b7dd7590
ViperServer: commit 7a995aa3f6a84b6a5bbb2c062dc993cf16f7c7a5
Silicon: commit b51b141f00cc9d948b98c2dcb7700d32d7aa8279
Carbon: commit ede996aedba0f9a413dddb349d97f81117113e64
Silver: commit ca4ee5944462d3fe035be46d1a308089ddeed1d5

Assets 6
Loading