Nix CI for bundle 8.17

coqPackages.atbr: init at 8.20.0 #516

Sign in to view logs

Triggered via pull request August 7, 2024 15:39

proux01

opened #248

Status Success

Total duration 28m 25s

Artifacts –

nix-action-8.17.yml

on: pull_request_target

mathcomp-ssreflect

coq-hammer-tactics

coq-record-update

high-school-geometry

mathcomp-fingroup

mathcomp-finmap

mathcomp-bigenough

metacoq-template-coq

category-theory

hierarchy-builder

relation-algebra

mathcomp-algebra

iris-named-props

mathcomp-solvable

mathcomp-classical

addition-chains

metacoq-safechecker

mathcomp-algebra-tactics

metacoq-erasure

mathcomp-analysis

mathcomp-real-closed

mathcomp-character

mathcomp-infotheo