Skip to content
Makefile CI

refactor: change memory-effects theorem to a quantifier-free statement #2540

Sign in to view logs

refactor: change memory-effects theorem to a quantifier-free statement

refactor: change memory-effects theorem to a quantifier-free statement #2540

Triggered via pull request October 16, 2024 22:39
@shigoelshigoel
synchronize #224
memory-effects-proof-as-mem-equals
Status Success
Total duration 20m 39s
Billable time 21m
Artifacts –

makefile.yml

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

Annotations

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