Skip to content
CI (Coq, Arch Linux)

Parse various directives starting with . in intel syntax (#2030) #570

Sign in to view logs

Parse various directives starting with . in intel syntax (#2030)

Parse various directives starting with . in intel syntax (#2030) #570

test-standalone

test-standalone
succeeded Mar 6, 2025 in 18s