Releases around FStarLang/FStar v2022.05.06 on GitHub

FStarLang/FStar on GitHub v2022.05.06

gitpod-io/openvscode-server on GitHub openvscode-server-insiders-v1.67.0

kreait/firebase-php on PHP Packagist 6.3.1

authelia/authelia on Docker Hub test-caddysupport

bitnami/moodle on Docker Hub 3.11.6-debian-10-r42

@redwoodjs/core on Node.js NPM 1.3.2-canary.82

hotio/prowlarr on Docker Hub pr-78fc836 pr-changelog-post-script-0.3.0.1739 pr-78fc836-1187-linux-arm64 pr-78fc836-1187-linux-amd64

kreait/firebase-php on PHP Packagist 5.26.2

stackrox-io/main on Quay 3.70.x-31-gbbf5129282 3.70.x-31-gbbf5129282-amd64

purestake/moonbeam on Docker Hub sha-c14620fe

victoriametrics/vmagent on Docker Hub v1.77.1

confluentinc/kafka-images on GitHub v7.0.4-8

4sval/FModel on GitHub 4.2.2.1

victoriametrics/victoria-metrics on Docker Hub v1.77.1

argoproj/argo-cd on GitHub release-v2.4.0-rc1

pytorch/pytorch on GitHub ciflow/trunk/76006

sogebot/sogeBot on GitHub 14.30.1

fomantic-ui on Node.js NPM 2.9.0-beta.287

mozilla/rust-android-gradle on GitHub v0.9.3

VictoriaMetrics/VictoriaMetrics on GitHub pmm-6401-v1.77.1 v1.77.1-cluster

python/cpython on GitHub v3.11.0b1

stackrox-io/main on Quay 3.70.x-25-gd8b8938f8c 3.70.x-25-gd8b8938f8c-amd64

sogebot/sogeBot on GitHub 14.30.0

instructure/canvas-lms on GitHub release/2022-05-25.74

adferrand/dnsrobocert on GitHub v3.20.0

adferrand/dnsrobocert on Docker Hub 3.20.0