Continuous integration

Array contract deduplication (#1674) #4470

Sign in to view logs

Triggered via push October 12, 2023 08:24

github-merge-queue[bot]

master

Status Success

Total duration 8m 29s

Artifacts –

continuous-integration.yml

on: push

Matrix: build-and-test