Symetric, transitive and reflexive equality for intersection types #65
ide-pull-request.yml
on: pull_request
🔍 GUI Files Changed
/
Changed Files
7s
🔍 Engine Files Changed
/
Changed Files
6s
📦 Package (Optional)
/
Build Backend (macos, amd64)
29m 31s
📦 Package
/
GUI build (linux, amd64)
1m 16s
📦 Package
/
GUI build (windows, amd64)
3m 7s
📦 Package (Optional)
/
GUI build (macos, amd64)
12m 20s
📦 Package (Optional)
/
Package New IDE (macos, amd64)
21m 35s
IDE Required Checks
0s
Annotations
4 warnings
🔍 Engine Files Changed / Changed Files
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
🔍 GUI Files Changed / Changed Files
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
IDE Required Checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "Edition File", "Engine Runner native-image-args", "fbs-schema", "gui", "ide-linux", "ide-macos", "ide-unpacked-linux", "ide-unpacked-macos", "ide-unpacked-windows", "ide-windows", "Launcher native-image-args", "Project Manager native-image-args", "project-manager-linux", "project-manager-macos", "project-manager-windows".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Edition File
|
1.09 KB |
|
Engine Runner native-image-args
|
23.5 KB |
|
Launcher native-image-args
|
5.16 KB |
|
Project Manager native-image-args
|
14.3 KB |
|
fbs-schema
|
1.76 KB |
|
gui
|
15.3 MB |
|
ide-linux
|
964 MB |
|
ide-macos
|
963 MB |
|
ide-unpacked-linux
|
972 MB |
|
ide-unpacked-macos
|
967 MB |
|
ide-unpacked-windows
|
977 MB |
|
ide-windows
|
981 MB |
|
project-manager-linux
|
854 MB |
|
project-manager-macos
|
843 MB |
|
project-manager-windows
|
852 MB |
|