Skip to content
Nix CI for bundle 8.16

use elpi version 1.18.1 #36

Sign in to view logs

use elpi version 1.18.1

use elpi version 1.18.1 #36

Triggered via pull request January 2, 2024 11:16
@CohenCyrilCohenCyril
opened #69
Status Success
Total duration 2m 23s
Artifacts –

nix-action-8.16.yml

on: pull_request_target
coq
35s
coq
mathcomp
31s
mathcomp
reglang
1m 30s
reglang
Fit to window
Zoom out
Zoom in

Annotations

3 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/
mathcomp
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/
reglang
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/