chore: Ctxt API cleanup · opencompl/lean-mlir@d710a2d

Triggered via pull request July 30, 2025 16:32

alexkeizer

opened #1481

ctxt-api-cleanup

Status Success

Total duration 1h 10m 35s

Artifacts 1

evaluation.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size	Digest
LLVM evaluation	786 KB	`sha256:7ecf0ee6d151f962edbf84b203c273c66f3bcb3396cddaa9d2ff6b6d7ef8af9d`