Skip to content
Actionlint

feat: @[simp] lemmas about List.toArray (#5472) #32

Sign in to view logs

feat: @[simp] lemmas about List.toArray (#5472)

feat: @[simp] lemmas about List.toArray (#5472) #32

Run time

Learn about OS pricing on GitHub Actions
Job Run time
actionlint
2m 44s
2m 44s