Skip to content
Website

Yet more efficient encoding of sum types (#1345) #1349

Sign in to view logs

Yet more efficient encoding of sum types (#1345)

Yet more efficient encoding of sum types (#1345) #1349

Triggered via push February 27, 2025 09:31
@plokhotnyukplokhotnyuk
pushed 5bd5dd3
series/2.x
Status Success
Total duration 18s
Artifacts –

site.yml

on: push
Build and Test
0s
Build and Test
Publish Docs
0s
Publish Docs
Generate README
9s
Generate README
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Generate README
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101