CI

Lexer for Agda #1335

Sign in to view logs

Re-run triggered August 24, 2026 02:13

jneen

#1825

ionathanch:master

Status Success

Total duration 1m 41s

Artifacts –

ruby.yml

on: pull_request

Matrix: test