Bump external/stdpp from bc4fce0
to 1fa37d0
#254
Annotations
1 error
Run coq-community/docker-coq-action@v1:
src/program_proof/tulip/paxos/consistency.v#L325
No applicable tactic.
|
Loading