Skip to content
PR label manager

feat(integer): improve {overflowing_}scalar_add/sub #5125

Sign in to view logs

feat(integer): improve {overflowing_}scalar_add/sub

feat(integer): improve {overflowing_}scalar_add/sub #5125

Triggered via pull request August 13, 2024 13:00
@tmontaigutmontaigu
synchronize #1430
tm/faster-scalar-add
Status Success
Total duration 23s
Artifacts –

approve_label.yml

on: pull_request
trigger-tests
11s
trigger-tests
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
trigger-tests
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-ecosystem/action-remove-labels@2ce5d41b4b6aa8503e285553f75ed56e0a40bae0. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
trigger-tests
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions-ecosystem/action-remove-labels@2ce5d41b4b6aa8503e285553f75ed56e0a40bae0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/