Agda-zh / agda log scanlog scanpassingpassing Current Branches Build History Pull Requests Settings Requests Caches More options Requests Trigger build Push event master 76278c2 4 years ago [ build ] relax ghc version bound for transformers dependency Hash 41 Build created successfully Push event zh-master 95bd965 5 years ago Merge branch 'master' into zh-master Hash Build created successfully
