Rocq

Use size_t instead of sint for offsetof #42

Sign in to view logs

Triggered via pull request April 26, 2025 21:25

dc-mak

synchronize #103

moratorium08:fix-typing-offsetof

Status Success

Total duration 20m 51s

Artifacts –

rocq.yml

on: pull_request

Matrix: build