joshuanianji/idris-2-docker

Issues

• The example project not working.

  #76 opened 10 months ago
  2

• `IDRIS_SHA` and `IDRIS_LSP_SHA` not populating

  #72 opened a year ago
  0

• Idris v0.7.0

  #65 opened a year ago
  0

• Base image missing the Idris2 api package

  #63 opened a year ago
  3

• Dependency Dashboard

  #40 opened 2 years ago
  0

• CI/CD Pipeline Refactoring

  #38 opened a year ago
  2

• Version tags are getting messed up

  #33 opened 2 years ago
  1

• Remove `ENTRYPOINT` in Consumer Images

  #32 opened 2 years ago
  1

• Ubuntu and Debian tests

  #31 opened 2 years ago
  0

• Devcontainer - Update Docs

  #30 opened 2 years ago
  1

• Devcontainer Image Updates

  #22 opened 2 years ago
  0

• Version 0.6.0

  #19 opened 2 years ago
  0

• Devcontainers: Run as non-root user

  #18 opened 2 years ago
  1

• Way to move the libraries out of /root

  #16 opened 2 years ago
  6

• Install Idris2 LSP on Devcontainers

  #15 opened 2 years ago
  0

• Local Build Documentation

  #14 opened 2 years ago
  0

• Discard Idris2 0.5.0 and 0.5.1 releases

  #13 opened 2 years ago
  1

• Install idris2-lsp

  #12 opened 2 years ago
  2

• Better CI Architecture

  #8 opened 2 years ago
  1

• Git clone cache

  #4 opened 2 years ago
  0

• Add Tests

  #3 opened 2 years ago
  0

• CRON Job for `latest` release

  #2 opened 2 years ago
  0

• Use Chez Scheme

  #1 opened 2 years ago
  1