Workflow runs · keyboardDrummer/dafny · GitHub

Actions

All workflows
Workflows
- .github/workflows/check-deep-tests-reusable.yml .github/workflows/check-deep-tests-reusable.yml
- .github/workflows/msbuild.yml .github/workflows/msbuild.yml
- .github/workflows/publish-release-reusable.yml .github/workflows/publish-release-reusable.yml
- Build and Test DafnyRuntimeJava Build and Test DafnyRuntimeJava
- Build DafnyRef.pdf Build DafnyRef.pdf
- Integration Test Report Integration Test Report
- Integration Tests (Reusable Workflow) Integration Tests (Reusable Workflow)
- Publish Draft Release Publish Draft Release
- Run XUnit tests Run XUnit tests
- Test Brew release on Mac Test Brew release on Mac
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

4 workflow runs

4 workflow runs

update arrays.dfy .github/workflows/publish-release-reusable.yml #4: Commit c3a0b81 pushed by keyboardDrummer

Failure assignArraysInGhostCode

assignArraysInGhostCode

Failure

Expect file updates .github/workflows/publish-release-reusable.yml #3: Commit ae8d450 pushed by keyboardDrummer

Failure assignArraysInGhostCode

assignArraysInGhostCode

Failure

Merge branch 'recursiveConstraintDep' of github.com:keyboardDrummer/d… .github/workflows/publish-release-reusable.yml #2: Commit 514fc9e pushed by keyboardDrummer

Failure recursiveConstraintDep

recursiveConstraintDep

Failure

Turn off 'recursive constraint dependency' message .github/workflows/publish-release-reusable.yml #1: Commit 9a39712 pushed by keyboardDrummer

Failure recursiveConstraintDep

recursiveConstraintDep

Failure