binghelisp/hol-dev Docker 镜像 - 轩辕镜像 | Docker 镜像高效稳定拉取服务
binghelisp/hol-devbinghelisp
HOL定理证明器(HOL4)的CI专用Docker镜像
1 次收藏下载次数: 0状态：社区镜像维护者：binghelisp仓库类型：镜像最近更新：6 个月前
HOL4 Docker镜像文档
镜像概述
本镜像为HOL定理证明器(HOL4)的Kananaskis版本提供CI环境支持，包含完整的系统分发内容，用于自动化构建、测试与持续集成流程。相关在线资源可访问：[***]
核心功能与特性
关键文件
INSTALL：安装说明文档COPYRIGHT：版权声明文件std.prelude：HOL会话启动时默认加载的初始化文件
核心目录结构
bin/：可执行文件存放目录doc/：系统文档（含发布说明）examples/：示例程序集help/：帮助支持文件src/：系统源代码目录tools/：系统构建支持工具集sigobj/：签名与编译代码集合
使用场景
适用于HOL4开发项目的持续集成(CI)环境，支持自动化构建验证、功能测试及版本兼容性检查。
使用方法与配置说明
基础使用流程
- 基于镜像配置CI流水线，利用
tools/目录工具进行系统构建 - 通过
examples/目录示例程序验证核心功能 - 查阅
doc/目录获取系统说明及版本信息
目录挂载建议
如需自定义配置或持久化数据，可挂载以下关键目录：
- 源代码目录：
-v /本地路径/src:/hol/src - 构建产物目录：
-v /本地路径/sigobj:/hol/sigobj - 示例程序目录：
-v /本地路径/examples:/hol/examples
authelia/authelia
authelia
云就绪的多因素认证门户，用于为应用提供安全认证服务。
205 次收藏5000万+ 次下载
4 天前更新
airbyte/source-bing-ads
airbyte
暂无描述
50万+ 次下载
4 天前更新
controlm/helix-agent
controlm
用于通过Control-M管理Kubernetes工作负载的Helix Control-M/Agent镜像
1万+ 次下载
5 个月前更新
authelia/base
authelia
基于scratch并使用Chisel提供glibc组件的基础容器，包含Authelia Docker部署所需的最小化包（busybox、ca-certificates、su-exec等），支持每日安全更新、多架构及版本化构建触发。
10万+ 次下载
4 天前更新
authelia/buildkite
authelia
用于构建Authelia的Buildkite代理的Dockerfile
5万+ 次下载
6 天前更新
authelia/integration-duo
authelia
Duo集成测试CI/CD容器，提供在CI/CD流程中执行Duo相关集成测试的专用环境。
2 次收藏1万+ 次下载
11 天前更新
轩辕镜像配置手册
探索更多轩辕镜像的使用方法，找到最适合您系统的配置方式
Docker 配置
登录仓库拉取
通过 Docker 登录认证访问私有仓库
专属域名拉取
无需登录使用专属域名
K8s Containerd
Kubernetes 集群配置 Containerd
K3s
K3s 轻量级 Kubernetes 镜像加速
Dev Containers
VS Code Dev Containers 配置
Podman
Podman 容器引擎配置
Singularity/Apptainer
HPC 科学计算容器配置
其他仓库配置
ghcr、Quay、nvcr 等镜像仓库
Harbor 镜像源配置
Harbor Proxy Repository 对接专属域名
Portainer 镜像源配置
Portainer Registries 加速拉取
Nexus 镜像源配置
Nexus3 Docker Proxy 内网缓存
系统配置
需要其他帮助？请查看我们的 常见问题Docker 镜像访问常见问题解答 或 提交工单
镜像拉取常见问题
使用与功能问题
错误码与失败问题
docker pull 提示 manifest unknown 怎么办？
manifest unknown
docker pull 提示 no matching manifest 怎么办？
no matching manifest（架构）
镜像已拉取完成，却提示 invalid tar header 或 failed to register layer 怎么办？
invalid tar header（解压）
Docker pull 时 HTTPS / TLS 证书验证失败怎么办？
TLS 证书失败
Docker pull 时 DNS 解析超时或连不上仓库怎么办？
DNS 超时
Docker 拉取出现 410 Gone 怎么办？
410 Gone 排查
出现 402 或「流量用尽」提示怎么办？
402 与流量用尽
Docker 拉取提示 UNAUTHORIZED（401）怎么办？
401 认证失败
遇到 429 Too Many Requests（请求太频繁）怎么办？
429 限流
docker login 提示 Cannot autolaunch D-Bus，还算登录成功吗？
D-Bus 凭证提示
为什么会出现「单层超过 20GB」或 413，无法加速拉取？
413 与超大单层
账号 / 计费 / 权限
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"