Skip to content
rc-1.7.0-no-main

test: stop .NET testing goals until Dafny fixes land #1

Sign in to view logs

test: stop .NET testing goals until Dafny fixes land

test: stop .NET testing goals until Dafny fixes land #1

Workflow file for this run

.github/workflows/block_main.yml at e46f77a
# This workflow ensures rc-1.7.0 does not go to main until .NET testing is restored
name: rc-1.7.0-no-main
on:
pull_request:
branches:
- main
jobs:
forbid:
steps:

Check failure on line 11 in .github/workflows/block_main.yml

View workflow run for this annotation

GitHub Actions / rc-1.7.0-no-main

Invalid workflow file 

The workflow is not valid. .github/workflows/block_main.yml (Line: 11, Col: 5): Required property is missing: runs-on
- name: fail
run: exit 1
# When we revert this, we MUST revert/restore:
# .github/workflows/library_net_tests.yml#L27-L30
# .github/workflows/library_interop_tests.yml#L28-31
# .github/workflows/library_interop_tests.yml#L134-139