check

Improve linking for abstract&concrete methods #1074

Sign in to view logs

Triggered via pull request January 19, 2026 23:34

bakkot

synchronize #666

nicolo-ribaudo:abstract-methods

Status Success

Total duration 1m 5s

Artifacts –

check.yml

on: pull_request