Skip to content

Merge pull request #40403 from rdulmina/intersection-type-def-pos-issue #703

Merge pull request #40403 from rdulmina/intersection-type-def-pos-issue

Merge pull request #40403 from rdulmina/intersection-type-def-pos-issue #703

Triggered via push May 18, 2023 07:08
Status Cancelled
Total duration 1h 0m 11s
Artifacts

push_master.yml

on: push
Build with tests on Ubuntu
1h 0m
Build with tests on Ubuntu
Build with some tests on Windows
59m 50s
Build with some tests on Windows
Build with sonarcloud scan on Ubuntu
17m 32s
Build with sonarcloud scan on Ubuntu
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
Build with some tests on Windows
The operation was canceled.
Build with tests on Ubuntu
The operation was canceled.
Build with sonarcloud scan on Ubuntu
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-java@v2, actions/cache@v1, actions/cache@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
Build with some tests on Windows
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-java@v2, al-cheb/configure-pagefile-action@7e234852c937eea04d6ee627c599fb24a5bfffee, actions/cache@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
Build with tests on Ubuntu
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-java@v2, actions/cache@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.