check

rename `forall/exists` to `all/any` in sorted_set #1821

Sign in to view logs

Triggered via pull request June 20, 2024 06:24

Yoorkin

synchronize #580

rename-forall-exists

Status Success

Total duration 57s

Artifacts –

check.yml

on: pull_request

license-header-check

Matrix: build