Releases around dafny-lang/dafny v3.8.0 on GitHub

dafny-lang/dafny on GitHub v3.8.0

microsoft/lage on GitHub @lage-run/scheduler_v0.1.4 @lage-run/reporters_v0.1.3 @lage-run/cli_v0.1.2

apache/superset on Docker Hub 47399f7824ee0554f05676c72a71f2e15700860a-dev 47399f7824ee0554f05676c72a71f2e15700860a

linkedin/datahub-frontend-react on Docker Hub c2fbd75

ifreund/waylock on GitHub v0.4.1

hyprwm/Hyprland on GitHub v0.11.1beta

adoptopenjdk/openjdk11 on Docker Hub armv7l-leap-jre11u-2022-08-19-04-54-beta-nightly

minaprotocol/mina-daemon on Docker Hub 1.3.2beta2-feature-txn-pool-parties-fee-payer-nonce-0362cc0-bionic-devnet

gravitational/teleport on GitHub v11.0.0-logan.13

gruntwork-io/cloud-nuke on GitHub v0.19.0

minaprotocol/mina-daemon on Docker Hub 1.3.2beta2-develop-e9f6013-bionic-mainnet 1.3.2beta2-develop-e9f6013-bionic-devnet 1.3.2beta2-feature-txn-pool-parties-fee-payer-nonce-0362cc0-buster-berkeley

@ionic/react on Node.js NPM 6.2.4-dev.11661289586.127318d7

@ionic/angular on Node.js NPM 6.2.4-dev.11661289586.127318d7

minaprotocol/mina-daemon on Docker Hub 1.3.2beta2-develop-e9f6013-stretch-devnet 1.3.2beta2-develop-e9f6013-bionic-berkeley 1.3.2beta2-develop-e9f6013-stretch-berkeley

tailwindlabs/heroicons on GitHub v2.0.0

adoptopenjdk/openjdk11 on Docker Hub armv7l-debianslim-jre11u-2022-08-19-04-54-beta-nightly

brave/brave-browser on GitHub v1.44.64

minaprotocol/mina-daemon on Docker Hub 1.3.2beta2-feature-txn-failure-error-reports-a42961b-bullseye-berkeley 1.3.2beta2-feature-txn-pool-parties-fee-payer-nonce-0362cc0-bionic-berkeley 1.3.2beta2-feature-txn-pool-parties-fee-payer-nonce-0362cc0-bionic-mainnet 1.3.2beta2-feature-txn-pool-parties-fee-payer-nonce-0362cc0-focal-devnet 1.3.2beta2-feature-txn-pool-parties-fee-payer-nonce-0362cc0-focal-mainnet 1.3.2beta2-georgeee-kad-dht-patcher-develop-2240aaa-bullseye-devnet 1.3.2beta2-develop-e9f6013-bullseye-berkeley

jupyter/minimal-notebook on Docker Hub aarch64-2022-08-23