Skip to content

Build Standalone

Build Standalone #657

Annotations

1 error

build (3.8, macos-latest)

succeeded Dec 24, 2024 in 1m 15s
Set up job
2s
Run actions/checkout@v4
1s
Set up Python 3.8
43s
Update pip
1s
Install dependencies
1s
Run make standalone
16s
Upload standalone
1s
Run dist/coq-bug-minimizer/coq-bug-minimizer -h
0s
Run dist/coq-import-inliner/coq-import-inliner -h
0s
Run dist/coq-require-minimizer/coq-require-minimizer -h
0s
Post Set up Python 3.8
0s
Post Run actions/checkout@v4
0s
Complete job
6s