Skip to content
Build ctrees under nix

Merge pull request #33 from vellvm/calvin-rocq9.0 #4

Sign in to view logs

Merge pull request #33 from vellvm/calvin-rocq9.0

Merge pull request #33 from vellvm/calvin-rocq9.0 #4

Triggered via push November 14, 2025 08:40
@YaZkoYaZko
pushed a06c77b
rocq9.0
Status Success
Total duration 3m 25s
Artifacts –

nix-build.yml

on: push
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
FlakeHub registration required.
Unable to authenticate to FlakeHub. Individuals must register at FlakeHub.com; Organizations must create an organization at FlakeHub.com.