Skip to content

Add documentation for {starts,ends}_with and split_part #427

Add documentation for {starts,ends}_with and split_part

Add documentation for {starts,ends}_with and split_part #427

Triggered via pull request September 25, 2024 05:49
Status Cancelled
Total duration 15s
Artifacts

proof.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Proof commit-sucao/string-functions' exists
build
The operation was canceled.