Skip to content
Build

[ fix ] get rid of unreachable line in group color scheme #13

Sign in to view logs

[ fix ] get rid of unreachable line in group color scheme

[ fix ] get rid of unreachable line in group color scheme #13

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build stefan-hoeck/idris2-cyby-draw with Idris2 latest
4m 26s
4m 26s