.github/workflows/checks-backend.yml

pin Bazel version; remove unused Idris dependencies #30

Sign in to view logs

Triggered via pull request December 18, 2023 23:45

opened #377

versions

Status Success

Total duration 13s

Artifacts –

checks-backend.yml

on: pull_request

backend-version