Skip to content
Makefile CI

feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] #2606

Sign in to view logs

feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?]

feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] #2606

Triggered via pull request October 31, 2024 19:28
@bollubollu
synchronize #237
simp-mem-mem-omega-6
Status Success
Total duration 19m 17s
Artifacts –

makefile.yml

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

Annotations

1 warning
build (macos-14)
Cache save failed.