Skip to content
Checker

minor: rename variables/methods to remove 'multiple' to shorten names #23

Sign in to view logs

minor: rename variables/methods to remove 'multiple' to shorten names

minor: rename variables/methods to remove 'multiple' to shorten names #23

Triggered via push December 24, 2023 02:11
@piyush-1234piyush-1234
pushed b37bd53
master
Status Skipped
Total duration 5s
Artifacts –

checker-framework.yml

on: push
Matrix: check
Fit to window
Zoom out
Zoom in