Repository navigation

Lean Proofs

chore(deps): bump ra from 3.1.7 to 3.1.8 #3

Sign in to view logs

Triggered via pull request June 14, 2026 17:32

dependabot[bot]

opened #47

dependabot/hex/ra-3.1.8

Status Success

Total duration 23s

Artifacts –

lean.yml

on: pull_request

Build Lean metatheory (lake build)