Skip to content

Actions: x52dev/contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
747 workflow runs
747 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add combined contract attribute
Dependabot Reviewer #170: Pull request #118 synchronize by robjtede
1s
Improve contract macro diagnostics
Dependabot Reviewer #169: Pull request #116 synchronize by robjtede
1s
Add combined contract attribute
Dependabot Reviewer #168: Pull request #118 synchronize by robjtede
1s
Improve contract macro diagnostics
Dependabot Reviewer #167: Pull request #116 synchronize by robjtede
1s
Reject always false contract predicates
Dependabot Reviewer #166: Pull request #117 synchronize by robjtede
1s