Skip to content

Merge pull request #119 from jorenham/genlambda #343

Merge pull request #119 from jorenham/genlambda

Merge pull request #119 from jorenham/genlambda #343

Triggered via push December 13, 2023 04:44
Status Success
Total duration 5m 27s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

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