Skip to content

WIP: Experimental method to aggregate state effects #2632

WIP: Experimental method to aggregate state effects

WIP: Experimental method to aggregate state effects #2632

build (ubuntu-latest)

succeeded Nov 5, 2024 in 17m 44s
Set up job
1s
Run actions/checkout@v4
7s
Run leanprover/lean-action@v1
9s
Build AWS-LC and run ELFSage tests (Ubuntu)
4m 30s
Run LNSym Makefile (Ubuntu)
4m 33s
Run LNSym Cosimulation (MacOS)
0s
Run LNSym Benchmarks (Ubuntu)
8m 21s
Post Run actions/checkout@v4
0s
Complete job
0s