Build and Test

Add included headers needed by flint 3.0.1 #217

Sign in to view logs

Triggered via pull request December 8, 2023 14:13

jrick

synchronize #98

jrick:flint-includes

Status Success

Total duration 1m 3s

Artifacts –

go.yml

on: pull_request

Matrix: Go CI