continuous integration

Merge pull request #6 from leanprover/toolchain/v4.4.0-rc1 #34

Sign in to view logs

Summary
Jobs
- test
Run details
- Usage
- Workflow file

Triggered via push November 30, 2023 04:48

kim-em

master

Status Success

Total duration 20s

Artifacts –

test.yml

on: push