Merge branch 'daily-ci-to-soak-flaky-tests' of github.com:dafny-lang/… #6

Triggered via push May 1, 2024 19:41

robin-aws

master

Status Failure

Total duration 40s

Artifacts 1

jekyll.yml

on: push

2 errors

Branch "master" is not allowed to deploy to github-pages due to environment protection rules.

The deployment was rejected or didn't satisfy other protection rules.

Produced during runtime

Name	Size
github-pages Expired	2.84 MB