read Ltac2 integer bits using bitwise right shift #1107

Sign in to view logs

Re-run triggered July 4, 2023 12:52

#355

robertzhidealx:ident_to_string-refactor

Status Success

Total duration 2h 1m 10s

Artifacts –

coq.yml

on: pull_request

Matrix: build