Skip to content

make v is T and v or e imply not-T for expression e #442

make v is T and v or e imply not-T for expression e

make v is T and v or e imply not-T for expression e #442

Triggered via pull request January 3, 2025 19:31
Status Success
Total duration 1m 55s
Artifacts

ci.yml

on: pull_request
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

5 warnings and 7 notices
Test (luajit, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test (5.4, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test (5.1, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test (5.3, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test (5.2, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test (luajit, ubuntu-latest)
gh-actions-lua: Cache restored: lua:luajit-2.1:linux:x64:
Test (5.4, ubuntu-latest)
gh-actions-lua: Cache restored: lua:5.4.7:linux:x64:
Test (5.1, ubuntu-latest)
gh-actions-lua: Cache restored: lua:5.1.5:linux:x64:
Test (5.3, ubuntu-latest)
gh-actions-lua: Cache restored: lua:5.3.6:linux:x64:
Test (5.2, ubuntu-latest)
gh-actions-lua: Cache restored: lua:5.2.4:linux:x64:
Test (macos-latest, 5.4)
gh-actions-lua: Cache restored: lua:5.4.7:darwin:arm64:
Test (windows-latest, luajit)
gh-actions-lua: Cache restored: lua:luajit-2.1:win32:x64: