Skip to content

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

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 #1471

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

ci.yml

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