.github/workflows/checks.yml

pin Bazel version; remove unused Idris dependencies #2256

Sign in to view logs

Triggered via pull request December 18, 2023 23:45

opened #377

versions

Status Success

Total duration 5m 33s

Artifacts –

checks.yml

on: pull_request