Skip to content
CodeQL Security Analysis

chore: update eclexia submodule (Layout.idr proof holes resolved) #194

Sign in to view logs

chore: update eclexia submodule (Layout.idr proof holes resolved)

chore: update eclexia submodule (Layout.idr proof holes resolved) #194

Run time

Learn about OS pricing on GitHub Actions
Job Run time
analyze (javascript-typescript, none)
29s
29s