Skip to content
Agda

examples: Example 5 — database provenance (K-provenance semiring) #443

Sign in to view logs

examples: Example 5 — database provenance (K-provenance semiring)

examples: Example 5 — database provenance (K-provenance semiring) #443

Triggered via pull request May 20, 2026 17:17
@hyperpolymathhyperpolymath
opened #81
examples/db-provenance
Status Cancelled
Total duration 20m 47s
Artifacts –

agda.yml

on: pull_request
check
20m 46s
check
cold-check
20m 46s
cold-check
flake-check
20m 45s
flake-check
Fit to window
Zoom out
Zoom in

Annotations

4 errors
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/81/merge exists
check
Canceling since a higher priority waiting request for Agda-refs/pull/81/merge exists
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/81/merge exists
flake-check
Canceling since a higher priority waiting request for Agda-refs/pull/81/merge exists