Skip to content

Change the structure of the GenT monad, to better track explanations. #17004

Change the structure of the GenT monad, to better track explanations.

Change the structure of the GenT monad, to better track explanations. #17004

Annotations

1 warning

Check if formal-ledger-specifications SRP is valid

succeeded Jan 24, 2025 in 13s
Set up job
0s
Run actions/checkout@v4
2s
Check formal-ledger-specifications SRP commit hash
8s
Post Run actions/checkout@v4
0s
Complete job
0s