ci

feat: better `List.take_drop` and `List.drop_take` #5275

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request March 24, 2024 19:17

fgdorais

synchronize #710

fgdorais:list-take-drop

Status Success

Total duration 1m 43s

Artifacts –

build.yml

on: pull_request