Skip to content
Nix CI for bundle 8.14

Changes Coq into Rocq #51

Sign in to view logs

Changes Coq into Rocq

Changes Coq into Rocq #51

Triggered via pull request October 25, 2025 12:39
@therythery
opened #52
thery:rocq
Status Success
Total duration 1m 27s
Artifacts –

nix-action-8.14.yml

on: pull_request
coq
23s
coq
huffman
46s
huffman
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
coq
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
huffman
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/