Build & test project

[PA] Derive Z3 sort for labeled result/stub pair #49

Sign in to view logs

Triggered via push July 18, 2023 22:56

main

Status Success

Total duration 9m 51s

Artifacts –

build.yml

on: push

Matrix: build_test

Annotations

1 warning

build_test (dev, 4.14.1-flambda): formal/Concrete/Env.v#L13

Attribute '#[nonuniform]' is deprecated, use