Skip to content
Label opened prs

Implementation of the pentagon abstract domain #80

Sign in to view logs

Implementation of the pentagon abstract domain

Implementation of the pentagon abstract domain #80

Triggered via pull request January 10, 2024 14:17
@VincenzoArceriVincenzoArceri
opened #304
pentagons
Status Success
Total duration 19s
Artifacts –

created-prs.yml

on: pull_request
move_prs
10s
move_prs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
move_prs
The following actions uses node12 which is deprecated and will be forced to run on node16: andymckay/labeler@22d5392de2b725cea4b284df5824125054049d84. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/