Rocq

Use size_t instead of sint for offsetof #46

Sign in to view logs

Triggered via push April 27, 2025 01:30

dc-mak

main

Status Success

Total duration 21m 19s

Artifacts –

rocq.yml

on: push

Matrix: build