Log number of facts during scip encoding #4649

Triggered via push July 18, 2025 00:42

main

Status Success

Total duration 32m 8s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push

Matrix: ci

1 warning

LICENSE.md, LICENSE.txt or LICENSE not found

Produced during runtime

Name	Size	Digest
glean-vsix Expired	17.3 KB	`sha256:36242857c4ec10d0c2bc63da3708126374eb6c1f78a193377f546d44ffb118c9`