Skip to content
CI

Merge pull request #356 from ejgallego/serlib+readme_gadt #318

Sign in to view logs

Merge pull request #356 from ejgallego/serlib+readme_gadt

Merge pull request #356 from ejgallego/serlib+readme_gadt #318

Triggered via push September 29, 2023 15:29
@ejgallegoejgallego
pushed 48e6e3c
main
Status Success
Total duration 24m 39s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in