Add rocq-sims.0.2 #2373

Triggered via pull request November 25, 2025 15:33

nchappe

opened #3593

nchappe:master

Status Success

Total duration 1m 38s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages	1.9 MB	`sha256:5907f508ad66a55bc1625aab9d48c109fe13d8579c32e437ec6ae4de645c65f4`