.github/workflows/publish-release-reusable.yml

Actions

All workflows
Workflows
- .github/workflows/publish-release-reusable.yml .github/workflows/publish-release-reusable.yml
- Build and Test Build and Test
- Build and Test Dafny Runtimes Build and Test Dafny Runtimes
- Build and Test Dafny Standard Libraries Build and Test Dafny Standard Libraries
- Build DafnyRef.pdf Build DafnyRef.pdf
- Check Deep Tests (Reusable Workflow) Check Deep Tests (Reusable Workflow)
- Daily soak test workflow Daily soak test workflow
- Dependabot Updates Dependabot Updates
- Deploy Jekyll site to Pages Deploy Jekyll site to Pages
- Integration Tests (Reusable Workflow) Integration Tests (Reusable Workflow)
Management
- Caches
- Deployments

.github/workflows/publish-release-reusable.yml

Actions

Loading...
Loading

9 workflow runs

Revert expect files to match actual Dafny output .github/workflows/publish-release-reusable.yml #15: Commit cb6b35c pushed by MikaelMayer

Failure fix-3216-could-not-prove

fix-3216-could-not-prove

Failure

Fix error message clarity issues .github/workflows/publish-release-reusable.yml #14: Commit ab77899 pushed by MikaelMayer

Failure fix-3216-could-not-prove

fix-3216-could-not-prove

Failure

Fixed unsoundness in circularity detection between invariants and fun… .github/workflows/publish-release-reusable.yml #13: Commit 5690f14 pushed by ssomayyajula

Failure feat-invariants-smart

feat-invariants-smart

Failure

Conditional invariant axiom triggers now computed from invariant body… .github/workflows/publish-release-reusable.yml #12: Commit ed3ffb7 pushed by ssomayyajula

Failure feat-invariants-smart

feat-invariants-smart

Failure

Expect file .github/workflows/publish-release-reusable.yml #11: Commit cb0dffa pushed by ssomayyajula

Failure feat-invariants-smart

feat-invariants-smart

Failure

Review comments .github/workflows/publish-release-reusable.yml #10: Commit 853866b pushed by MikaelMayer

Failure chore-automated-pr-review

chore-automated-pr-review

Failure

Added convenience assumption of this.invariant() for instance functio… .github/workflows/publish-release-reusable.yml #9: Commit 2978fb8 pushed by ssomayyajula

Failure feat-invariants-smart

feat-invariants-smart

Failure

Update review.sh .github/workflows/publish-release-reusable.yml #8: Commit 6c8fb78 pushed by MikaelMayer

Failure chore-automated-pr-review

chore-automated-pr-review

Failure

Update review.sh .github/workflows/publish-release-reusable.yml #7: Commit b3962e9 pushed by MikaelMayer

Failure chore-automated-pr-review

chore-automated-pr-review

Failure

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management