Skip to content

generalize variables bound by <- (#1501) #1046

generalize variables bound by <- (#1501)

generalize variables bound by <- (#1501) #1046

Triggered via push September 9, 2023 17:36
Status Success
Total duration 10s
Artifacts

check_todos.yml

on: push
Enforce issue references
3s
Enforce issue references
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Enforce issue references
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/