Bump external/stdpp from `bc4fce0` to `1fa37d0` #254

Sign in to view logs

Triggered via pull request October 3, 2024 08:31

dependabot[bot]

opened #122

dependabot/submodules/external/stdpp-1fa37d0

Status Failure

Total duration 58m 0s

Artifacts –

ci.yml

on: pull_request

Matrix: build-vos

Matrix: build

Annotations

2 errors

build (dev): src/program_proof/tulip/paxos/consistency.v#L325

No applicable tactic.

build (8.20): src/program_proof/tulip/paxos/consistency.v#L325

No applicable tactic.