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

archlinux

archlinux
succeeded Mar 6, 2025 in 3h 7m 27s