Stream: Hydras & Co. universe

Topic: Nix CI failure

view this post on Zulip Pierre Castéran (Dec 09 2022 at 17:22):

(deleted)

view this post on Zulip Pierre Castéran (Apr 14 2023 at 05:41):

Nix CI fails at the coq step since yesterday evening. Is there something to do, or just wait?

Run cachix/cachix-action@v10
Warning: The `save-state` 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/
Cachix: installing
/home/runner/.nix-profile/bin/cachix authtoken ***
Written to /home/runner/.config/cachix/cachix.dhall
Cachix: using cache coq-community
  Error: Action failed with error: Error: Unable to locate executable file: cachix. Please verify either the file path exists or the file can be found within a directory specified by the PATH environment variable. Also check the file mode to verify the file is executable.

view this post on Zulip Ali Caglayan (Apr 14 2023 at 13:46):

You seem to be on v10, try bumping the action to v12

view this post on Zulip Ali Caglayan (Apr 14 2023 at 13:46):

I can see in the GitHub log that v10 was using some deprecated GitHub features.

view this post on Zulip Ali Caglayan (Apr 14 2023 at 13:48):

btw bumping just requires editing the v10 to v12 in the workflow file which should be in .github/

view this post on Zulip Pierre Castéran (Apr 14 2023 at 14:33):

@Ali Caglayan Thanks !
Indeed there are a few ocurrences of cachix/cachix-action@v10in .github/workflows/nix-action-default.yml. Is it OK/enough to replace v10with v12in this file ? Cc @Karl Palmskog @Théo Zimmermann ?

view this post on Zulip Ali Caglayan (Apr 14 2023 at 14:34):

It's probably OK, I don't know the details enough, but github action verions are typically backwards compatible with the file. Its just tht the implementation in the background might be doing "more mdoern" stuff.

view this post on Zulip Ali Caglayan (Apr 14 2023 at 14:34):

To test it out, I would make a new PR rather than add a commit to your current PR.

view this post on Zulip Pierre Castéran (Apr 14 2023 at 15:08):

Unfortunately, It fails immediately (branch switchv12) :worried:

view this post on Zulip Théo Zimmermann (Apr 14 2023 at 15:55):

Pierre Castéran said:

Ali Caglayan Thanks !
Indeed there are a few ocurrences of cachix/cachix-action@v10in .github/workflows/nix-action-default.yml. Is it OK/enough to replace v10with v12in this file ? Cc Karl Palmskog Théo Zimmermann ?

Yes, although this file is usually auto-generated from the Coq Nix Toolbox (which I should definitely update). I will try to look into this.

view this post on Zulip Théo Zimmermann (Apr 14 2023 at 19:00):

Done.

view this post on Zulip Pierre Castéran (Apr 15 2023 at 09:36):

@Théo Zimmermann I merged update-toolboxinto threeScopesin order to get your changes.
It compiles correctly (except that I get both a red and a green light on the same PR by push on Nix CI for bundle default).
(Apparently, the same thing happened also on the Update Coq Nix Toolbox branch yesterday.)
Is there something to do ?

view this post on Zulip Théo Zimmermann (Apr 15 2023 at 10:22):

Yes, the PR should be merged in master.

view this post on Zulip Pierre Castéran (Apr 15 2023 at 13:07):

Thanks, it works ! :tada:

Last updated: Jun 11 2023 at 01:30 UTC