Rocq

Use size_t instead of sint for offsetof #20

Sign in to view logs

Triggered via pull request April 25, 2025 19:06

dc-mak

synchronize #103

moratorium08:fix-typing-offsetof

Status Success

Total duration 20m 47s

Artifacts –

rocq.yml

on: pull_request

Matrix: build