build

clarify types in TPTP output #542

Sign in to view logs

Triggered via push November 2, 2023 20:55

abentkamp

tptp-output

Status Success

Total duration 9m 34s

Artifacts 3

main.yml

on: push

Matrix: Build

Annotations

3 warnings

Build (ubuntu-latest, 5.1.x)

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/

Build (ubuntu-latest, 4.13.x)

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/

Build (ubuntu-latest, 4.08.x)

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/

Artifacts

Produced during runtime

Name	Size
zipperposition-bin-ubuntu-latest-4.08.x.exe Expired	17.9 MB
zipperposition-bin-ubuntu-latest-4.13.x.exe Expired	16.9 MB
zipperposition-bin-ubuntu-latest-5.1.x.exe Expired	18.4 MB