Skip to content

Merge branch 'v53'

Merge branch 'v53' #45

Triggered via push July 4, 2023 10:08
Status Success
Total duration 3m 40s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

publish.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Package
Note: Lambda-lifting optimizations have not been applied because of the use of this local constrained generic function as a first class value. Adding type constraints may resolve this condition.
Package
Note: Lambda-lifting optimizations have not been applied because of the use of this local constrained generic function as a first class value. Adding type constraints may resolve this condition.

Artifacts

Produced during runtime
Name Size
packages Expired
2.97 MB