[llm] playground for LLM-related interaction · EasyCrypt/easycrypt@b1890de

Triggered via pull request July 6, 2026 13:51

strub

synchronize #1019

llm-interactive

Status Success

Total duration 7m 3s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:f1fc6d25e8a92903f95fcda166a1a03280270bde076045dc2b6e73399722f038`