Update links to github org as argotorg and ipsilon where appropriate #16184
Conversation
clonker
force-pushed
the
docs_update_links
branch
2 times, most recently
from
71fc9f1 to
c388171
Compare
r0qs
force-pushed
the
docs_update_links
branch
from
08ba119 to
b98508c
Compare
cameel
changed the title
|
If you haven't done so yet, I think it would be good to run |
r0qs
force-pushed
the
docs_update_links
branch
from
d75ee59 to
b002534
Compare
r0qs
force-pushed
the
docs_update_links
branch
from
b002534 to
69af5ee
Compare
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
|
|
|
|
|
|
|
|
| if: "env.DOCKER_IMAGE" | ||
| # NOTE: Can't update to v1.3.1 due to an error: `/entrypoint.sh:5:in 'require_relative': cannot load such file -- /lib/github (LoadError)` | ||
| uses: unsplash/comment-on-pr@ffe8f97ccc63ce12c3c23c6885b169db67958d3b #v1.3.0 | ||
| uses: thollander/actions-comment-pull-request@v3 |
There was a problem hiding this comment.
We should pin actions to hashes rather than tags, the way it was done here before this change. Even github recommends that now. Apparently there's also an org-level policy to require that. We should enable it. See Using third-party actions.
|
You did not update the hashes in CI config to the ones generated above. |
Also I had to implement a skip mechanism for the formal correctness proofs so that it wouldn't try to run the README.md as python script.