Skip to content
Nix CI for bundle default

Merge pull request #36 from MetaRocq/allow-typed+unsafe #16

Sign in to view logs

Merge pull request #36 from MetaRocq/allow-typed+unsafe

Merge pull request #36 from MetaRocq/allow-typed+unsafe #16

Triggered via push May 23, 2025 14:17
@mattam82mattam82
pushed 18d9450
rocq-9.0
Status Success
Total duration 3m 21s
Artifacts –

nix-action-default.yml

on: push
coq
45s
coq
equations
43s
equations
ceres
46s
ceres
metarocq
47s
metarocq
verified-extraction
46s
verified-extraction
Fit to window
Zoom out
Zoom in