Skip to content
Continuous Integration

Add Agda language support #497

Sign in to view logs

Add Agda language support

Add Agda language support #497

This workflow is awaiting approval from a maintainer in #356
Triggered via pull request January 28, 2025 03:18
@1zumiSagiri1zumiSagiri
opened #356
1zumiSagiri:add-agda
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #356

CI.yml

on: pull_request
check
check
Fit to window
Zoom out
Zoom in