opam-repository

Fix logging of queries after model generation #80

Sign in to view logs

Triggered via push January 5, 2026 14:57

hra687261

main

Status Success

Total duration 3m 19s

Artifacts –

publish.yml

on: push