Awesome Bot

Adding tree-sitter-coq grammar #111

Sign in to view logs

Triggered via pull request August 17, 2025 10:59

lamg

synchronize #46

lamg:master

Status Success

Total duration 2m 51s

Artifacts –

awesome-bot.yml

on: pull_request