Skip to content
Snippets Groups Projects

More efficient `encode`/`decode` for `string`/`ascii`

Merged Robbert Krebbers requested to merge robbert/string_ascii_countable into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:04:23

avatar

No artifacts found

Passed

00:04:23

avatar

No artifacts found

Passed

00:04:23

avatar

No artifacts found

Canceled

00:00:57

avatar

No artifacts found

Passed

00:04:15

avatar

No artifacts found

Canceled

00:00:40

avatar

No artifacts found

Canceled

00:03:30

avatar

No artifacts found

Passed

00:04:19

avatar

No artifacts found

Loading