Skip to content

Implement a micro-pass to simplify the use of the array/slice index functions and the aggregated ADTs #1467

Implement a micro-pass to simplify the use of the array/slice index functions and the aggregated ADTs

Implement a micro-pass to simplify the use of the array/slice index functions and the aggregated ADTs #1467

Triggered via pull request November 12, 2024 18:19
@sonmarchosonmarcho
synchronize #353
son/arrays
Status Success
Total duration 2m 9s
Artifacts

ci.yml

on: pull_request
check_if_skip_duplicate_job
5s
check_if_skip_duplicate_job
check-charon-pin
7s
check-charon-pin
userdocs
4s
userdocs
Fit to window
Zoom out
Zoom in