update alectryon

[Alizter]

No description provided.

[jdchristensen]

@JasonGross

 File "/github/workspace/etc/alectryon/alectryon/cli.py", line 419, in <lambda>
    write_output(ext, contents, fname, fpath, output, output_directory, coq_args_Q, coq_args_R, strip_re=strip_re)
...
TypeError: write_output() got multiple values for argument 'strip_re'

[JasonGross]

@JasonGross

 File "/github/workspace/etc/alectryon/alectryon/cli.py", line 419, in <lambda>
    write_output(ext, contents, fname, fpath, output, output_directory, coq_args_Q, coq_args_R, strip_re=strip_re)
...
TypeError: write_output() got multiple values for argument 'strip_re'

Thanks, fixed this one, restarted job

[jdchristensen]

It said that there were no artifacts, so I tried restarting all jobs.

[jdchristensen]

@JasonGross Still getting a similar error.

[Alizter]

@jdchristensen I needed to update the submodule again to the updated version of Jason's branch. Let's see if this works.

The reason is that the actual submodule object that git is tracking is tied to the specific commit hash, so updating the branch upstream won't affect the submodule and you have to manually bump it to the later version.

[JasonGross]

It passes!