Skip to content
Sphinx

Add uncons' to base; rewrite head' and tail' in terms of uncons' #3460

Sign in to view logs

Add uncons' to base; rewrite head' and tail' in terms of uncons'

Add uncons' to base; rewrite head' and tail' in terms of uncons' #3460

Triggered via pull request August 22, 2023 14:52
@RussoulRussoul
synchronize #3054
Russoul:uncons
Status Success
Total duration 33s
Artifacts –

ci-sphinx.yml

on: pull_request
Sphinx
22s
Sphinx
Fit to window
Zoom out
Zoom in