feat: Add missing tests for `TSTORE` / `TLOAD` #566

Sign in to view logs

Triggered via pull request July 23, 2024 22:44

DavePearce

opened #645

644-add-missing-tstore-tload-tests

Status Success

Total duration 18m 22s

Artifacts –

build.yml

on: pull_request

Annotations

2 warnings

The following actions uses Node.js version which is deprecated and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

test-z3-4-8-5

The following actions uses Node.js version which is deprecated and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/