Skip to content

Rocq Backend (#900) #2071

Rocq Backend (#900)

Rocq Backend (#900) #2071

Triggered via push July 1, 2025 01:20
Status Success
Total duration 42m 13s
Artifacts 4
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Matrix: build-vehicle-python / build-vehicle-python
Matrix: build-vehicle / build-vehicle
test-integration-bumpver
10s
test-integration-bumpver
test-integration-ormolu
20s
test-integration-ormolu
test-integration-citation-cff
1m 12s
test-integration-citation-cff
Publish package to GitHub Releases
0s
Publish package to GitHub Releases
Publish package to PyPI
0s
Publish package to PyPI
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘withCString’
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘withCString’
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘withCString’
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘withCString’
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘withCString’
build-vehicle-python / vehicle-python / Windows - AMD64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / Windows - AMD64
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build-vehicle-python / vehicle-python / macOS - x86_64
The import of ‘withCString’
build-vehicle-python / vehicle-python / macOS - x86_64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / macOS - x86_64
The import of ‘withCString’
build-vehicle-python / vehicle-python / macOS - x86_64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / macOS - x86_64
The import of ‘withCString’
build-vehicle-python / vehicle-python / macOS - x86_64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / macOS - x86_64
The import of ‘withCString’
build-vehicle-python / vehicle-python / macOS - x86_64
The import of ‘Data.Text’ is redundant
build-vehicle-python / vehicle-python / macOS - x86_64
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).

Artifacts

Produced during runtime
Name Size Digest
wheelhouse-macosx-x86_64 Expired
64.7 MB
sha256:ebdd16bce4caeda931080e65a090664157c1a7a38ddb5b4fe321f0dc1a0dde88
wheelhouse-manylinux-x86_64 Expired
81.8 MB
sha256:8278bd2d0011f6234afed8c09daa9a39701c60da73d2b964129182418f2155ec
wheelhouse-musllinux-x86_64 Expired
85.4 MB
sha256:98a9f331104cdc11d1a5ba57de7496d9b425f4854ada566f728aea63a181e447
wheelhouse-win-AMD64 Expired
48 MB
sha256:9498cf9728b45cd5a40482ef3bd26740438daf75c06cc58d9cbe78c3be65de88