chore: update lean-toolchain, consequently add sdiv support #8

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Re-run triggered October 26, 2024 10:28

hargoniX

#2

opencompl:sdiv

Status Success

Total duration 24s

Artifacts –

lean_action_ci.yml

on: pull_request