Agda-zh / agda log scanlog scanpassingpassing Current Branches Build History Pull Requests Settings Requests Caches More options Requests Trigger build master [ build ] relax ghc version bound for transformers dependency Oling Cat Push event #41 passed 76278c2 1 hr 43 min 55 sec 4 years ago Show more
