Skip to content
CI

Reconcile with upstream Displayed Reasoning changes (#111) #353

Sign in to view logs

Reconcile with upstream Displayed Reasoning changes (#111)

Reconcile with upstream Displayed Reasoning changes (#111) #353

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-whitespace
5m 59s
line-lengths
12s
compile-agda
27m 53s
34m 4s