kernel: change how ours GCs represent master pointers #1312

Sign in to view logs

Summary
Jobs
- gaplint
Run details
- Usage
- Workflow file

Triggered via pull request January 24, 2024 00:36

fingolfin

synchronize #4937

fingolfin:mh/gc-change-mptr

Status Success

Total duration 37s

Artifacts –

lint.yml

on: pull_request