Code

Benjamin ci testing#8

Code

Merged

pmbittner merged 6 commits intodevelopVariantSync/Vatras:developfrom benjamin-ci-testingVariantSync/Vatras:benjamin-ci-testingCopy head branch name to clipboardNov 20, 2023

+142-3

Commits

Commits on Nov 20, 2023

• Show all errors and warnings in the GitHub UI

  ibbem

  committed
  2b63ce1

  Copy full SHA for 2b63ce1

• Check all Agda files when building with Nix

  ibbem

  committed
  a686beb

  Copy full SHA for a686beb

• Remove unnecessary rec keyword in default.nix

  ibbem

  committed
  0428d6b

  Copy full SHA for 0428d6b

• Add the default symlink of nix-build to .gitignore

  ibbem

  committed
  a8afabe

  Copy full SHA for a8afabe

• Mark corresponding makefile targets as PHONY

  ibbem

  committed
  2995701

  Copy full SHA for 2995701

• Create an alternative to the check-all target using an Everything.agda

  Show description for 840ae85
  ibbem

  committed
  840ae85

  Copy full SHA for 840ae85