Remote

chore: devcontainer.json: update VSRocq version #103

Sign in to view logs

Triggered via push February 26, 2026 03:43

main

Status Success

Total duration 10s

Artifacts –

sl-fm-ci.yml

on: push