Danger

Add idris2 extension #154

Sign in to view logs

Summary
Jobs
- danger
Run details
- Usage
- Workflow file

Re-run triggered November 5, 2024 00:32

notpeter

#1629

srghma:main

Status Success

Total duration 32s

Artifacts –

danger.yml

on: pull_request