Skip to content
Makefile CI

feat: Track whether simp_mem made progress in the monad state [5/?] (… #2597

Sign in to view logs

feat: Track whether simp_mem made progress in the monad state [5/?] (…

feat: Track whether simp_mem made progress in the monad state [5/?] (… #2597

Triggered via push October 31, 2024 16:00
@shigoelshigoel
pushed 37cb9f5
main
Status Success
Total duration 20m 12s
Billable time 21m
Artifacts –

makefile.yml

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

Annotations

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