feat: Track whether simp_mem made progress in the monad state. [5/?] #2595
Annotations
1 warning
Run leanprover/lean-action@v1
Cache save failed.
|
Set up job
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/checkout@v4
8s
8s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run leanprover/lean-action@v1
11s
11s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build AWS-LC and run ELFSage tests (Ubuntu)
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run LNSym Makefile (Ubuntu)
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run LNSym Cosimulation (MacOS)
6m 32s
6m 32s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run LNSym Benchmarks (Ubuntu)
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Run actions/checkout@v4
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading