Build and Test

Merge pull request #9 from SWAT-engineering/chore/codecov-ci #59

Sign in to view logs

Triggered via push November 20, 2024 10:56

DavyLandman

main

Status Success

Total duration 11m 14s

Artifacts –

build.yaml

on: push

checker-framework

Matrix: test