Pipeline

Improve collapse_add_neg simplifcation rule (#355) #1083

Sign in to view logs

Triggered via push October 26, 2023 09:12

blattm

main

Status Success

Total duration 18m 0s

Artifacts –

pipeline.yml

on: push

build-docker-and-run-tests

Annotations

1 warning

build-docker-and-run-tests

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/