.github/workflows/checks.yml

pin Bazel version; remove unused Idris dependencies #2259

Sign in to view logs

Triggered via pull request December 18, 2023 23:54

synchronize #377

versions

Status Success

Total duration 5m 16s

Artifacts –

checks.yml

on: pull_request