Skip to content

Merge pull request #971 from coq/fix-build-dev-version- #1459

Merge pull request #971 from coq/fix-build-dev-version-

Merge pull request #971 from coq/fix-build-dev-version- #1459

nix-dev-build (macos-latest, 8-18, fatalwarnings)

succeeded Jan 13, 2025 in 4m 58s
Set up job
1s
Checkout
3s
Configure Dune
0s
Run cachix/install-nix-action@v22
25s
Check each yarn.nix up to date
1m 11s
Run nix develop .#vscoq-8-18 -c bash -c "cd language-server && dune build --profile fatalwarnings"
1m 22s
Run nix develop .#vscoq-8-18 -c bash -c "cd client && yarn run install:all && yarn run build:all && yarn run compile"
38s
Run xvfb-run nix develop .#vscoq-8-18 -c bash -c "cd client && yarn test"
0s
Run nix develop .#vscoq-8-18 -c bash -c "cd client && yarn test"
1m 11s
Run cat /tmp/vscoq_init_log.*
0s
Post Checkout
1s
Complete job
1s