Skip to content

Contracts: remove bound-var-rewrite #178

Contracts: remove bound-var-rewrite

Contracts: remove bound-var-rewrite #178

Triggered via pull request August 29, 2024 14:17
Status Success
Total duration 42m 52s
Artifacts

coverage.yaml

on: pull_request
Fit to window
Zoom out
Zoom in