Skip to content
vscode-lean4 build

feat: notification for imports-out-of-date error #1911

Sign in to view logs

feat: notification for imports-out-of-date error

feat: notification for imports-out-of-date error #1911

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
5m 20s
Windows
8m 48s
14m 8s