Skip to content

Actions: leanprover/reference-manual

Actions

Check for too-big Lean imports

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
too-big-imports.yml
355 workflow runs
355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: coercions Check for too-big Lean imports #357: Pull request #287 synchronize by david-christiansen
February 7, 2025 06:31 10s coercions
coercions
February 7, 2025 06:31 10s
feat: coercions Check for too-big Lean imports #356: Pull request #287 synchronize by david-christiansen
February 7, 2025 05:24 11s coercions
coercions
February 7, 2025 05:24 11s
feat: coercions Check for too-big Lean imports #355: Pull request #287 synchronize by david-christiansen
February 7, 2025 05:18 14s coercions
coercions
February 7, 2025 05:18 14s
feat: coercions Check for too-big Lean imports #354: Pull request #287 synchronize by david-christiansen
February 6, 2025 15:56 16s coercions
coercions
February 6, 2025 15:56 16s
feat: coercions Check for too-big Lean imports #353: Pull request #287 synchronize by david-christiansen
February 6, 2025 15:46 14s coercions
coercions
February 6, 2025 15:46 14s
chore: bump to latest nightly and Verso Check for too-big Lean imports #352: Pull request #290 opened by david-christiansen
February 6, 2025 15:45 11s bump-2024-02-06
bump-2024-02-06
February 6, 2025 15:45 11s
feat: coercions Check for too-big Lean imports #351: Pull request #287 synchronize by david-christiansen
February 6, 2025 13:05 10s coercions
coercions
February 6, 2025 13:05 10s
feat: coercions Check for too-big Lean imports #350: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:35 12s coercions
coercions
February 5, 2025 22:35 12s
feat: coercions Check for too-big Lean imports #349: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:29 14s coercions
coercions
February 5, 2025 22:29 14s
feat: coercions Check for too-big Lean imports #348: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:14 12s coercions
coercions
February 5, 2025 22:14 12s
feat: coercions Check for too-big Lean imports #347: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:02 13s coercions
coercions
February 5, 2025 22:02 13s
feat: coercions Check for too-big Lean imports #346: Pull request #287 synchronize by david-christiansen
February 5, 2025 21:45 16s coercions
coercions
February 5, 2025 21:45 16s
feat: coercions Check for too-big Lean imports #345: Pull request #287 synchronize by david-christiansen
February 5, 2025 21:14 15s coercions
coercions
February 5, 2025 21:14 15s
feat: coercions Check for too-big Lean imports #344: Pull request #287 synchronize by david-christiansen
February 5, 2025 20:13 16s coercions
coercions
February 5, 2025 20:13 16s
feat: coercions Check for too-big Lean imports #343: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:42 13s coercions
coercions
February 5, 2025 19:42 13s
feat: coercions Check for too-big Lean imports #342: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:38 11s coercions
coercions
February 5, 2025 19:38 11s
feat: coercions Check for too-big Lean imports #341: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:33 16s coercions
coercions
February 5, 2025 19:33 16s
feat: coercions Check for too-big Lean imports #340: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:25 16s coercions
coercions
February 5, 2025 19:25 16s
feat: coercions Check for too-big Lean imports #339: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:18 15s coercions
coercions
February 5, 2025 19:18 15s
feat: coercions Check for too-big Lean imports #338: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:06 19s coercions
coercions
February 5, 2025 19:06 19s
feat: coercions Check for too-big Lean imports #337: Pull request #287 opened by david-christiansen
February 5, 2025 16:23 11s coercions
coercions
February 5, 2025 16:23 11s
feat: interactive commands Check for too-big Lean imports #336: Pull request #282 synchronize by david-christiansen
February 4, 2025 08:27 13s interactive-commands
interactive-commands
February 4, 2025 08:27 13s
feat: interactive commands Check for too-big Lean imports #335: Pull request #282 synchronize by david-christiansen
February 4, 2025 06:20 12s interactive-commands
interactive-commands
February 4, 2025 06:20 12s
feat: interactive commands Check for too-big Lean imports #334: Pull request #282 synchronize by david-christiansen
February 4, 2025 05:08 11s interactive-commands
interactive-commands
February 4, 2025 05:08 11s
feat: interactive commands Check for too-big Lean imports #333: Pull request #282 synchronize by david-christiansen
February 3, 2025 22:01 15s interactive-commands
interactive-commands
February 3, 2025 22:01 15s