Skip to content

Evaluate expression with non-exec grounded atom on the first position #1371

Evaluate expression with non-exec grounded atom on the first position

Evaluate expression with non-exec grounded atom on the first position #1371

Triggered via pull request March 6, 2025 17:28
Status Success
Total duration 14m 42s
Artifacts

ci-auto.yml

on: pull_request
ci-auto-unix  /  build-all
6m 32s
ci-auto-unix / build-all
ci-auto-windows  /  build-all
14m 29s
ci-auto-windows / build-all
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
ci-auto-unix / build-all
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci-auto-unix / build-all
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci-auto-unix / build-all
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci-auto-unix / build-all
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci-auto-windows / build-all
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci-auto-windows / build-all
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci-auto-windows / build-all
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci-auto-windows / build-all
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/