Lexer for Agda #1338

This workflow is awaiting approval from a maintainer in #1825

Triggered via pull request August 25, 2026 06:13

ionathanch

synchronize #1825

ionathanch:master

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #1825

ruby.yml

on: pull_request

Matrix: test

Waiting for pending jobs