Skip to content
CodeQL

define proofType in project file, del hardcoding projectID judge (#802) #1535

Sign in to view logs

define proofType in project file, del hardcoding projectID judge (#802)

define proofType in project file, del hardcoding projectID judge (#802) #1535

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Analyze (go)
2m 54s
Analyze (javascript-typescript)
1m 12s
4m 6s