Skip to content
Test Workspace

Merge pull request #623 from hacspec/make-rebuild-use-opam-prefix #2055

Sign in to view logs

Merge pull request #623 from hacspec/make-rebuild-use-opam-prefix

Merge pull request #623 from hacspec/make-rebuild-use-opam-prefix #2055

Triggered via push May 2, 2024 13:57
@github-merge-queuegithub-merge-queue[bot]
pushed 911ecb0
main
Status Success
Total duration 4m 22s
Artifacts –

test.yml

on: push
no-std-lib
1m 3s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in