Skip to content
Snippets Groups Projects
Commit b4061d0f authored by Ryan Scott's avatar Ryan Scott
Browse files

Mark Agda as broken on HEAD due to ghc#22114

parent 70d6bbbe
No related branches found
No related tags found
1 merge request!243Pin singletons-base to 3.1
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
ci/config.sh
+ 1
− 0
View file @ b4061d0f
......@@ -85,6 +85,7 @@ case $version in
9.5.*)
# package ticket
broken "Agda" 22114
;;
*)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment