Lint GitHub Actions workflows

Add uninterpreted `List` implementation to `Prelude.lean` #1069

Sign in to view logs

Triggered via pull request January 21, 2025 13:06

JuanCoRo

opened #4740

lean-list-sort

Status Success

Total duration 19s

Artifacts –

run-actionlint.yml

on: pull_request