Skip to content
Check for stale hints

Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq. #5

Sign in to view logs

Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq.

Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq. #5

Workflow file for this run

.github/workflows/stale_hints.yml at 491140a
name: Check for stale hints
on:
pull_request:
workflow_dispatch:
jobs:
check_stale_hints:
runs-on: ubuntu-latest
defaults:
run:
shell: bash
steps:
- uses: actions/checkout@v4
- run: |
L=$(.scripts/remove_stale_hints.sh list)
if [ "$L" != "" ]; then
echo "There are stale hints:"
echo "$L"
false
fi