Skip to content

[PA] Monadic rewrite of simplified program analysis #71

[PA] Monadic rewrite of simplified program analysis

[PA] Monadic rewrite of simplified program analysis #71

Triggered via push December 1, 2023 16:49
Status Success
Total duration 6m 57s
Artifacts

build.yml

on: push
Matrix: build_test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build_test (dev, 4.14.1-flambda): formal/Concrete/Env.v#L13
Attribute '#[nonuniform]' is deprecated, use