Skip to content

Actions: leanprover/lean4

Actions

Restart by label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
restart-on-label.yml
3,083 workflow runs
3,083 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: exact? in try? Restart by label #3083: Pull request #6995 labeled by leodemoura
February 7, 2025 22:23 3s
February 7, 2025 22:23 3s
feat: compress try? suggestions Restart by label #3082: Pull request #6994 labeled by leodemoura
February 7, 2025 17:47 3s
February 7, 2025 17:47 3s
feat: allow turnstiles anywhere in location sequences Restart by label #3081: Pull request #6992 labeled by jrr6
February 7, 2025 17:00 2s
February 7, 2025 17:00 2s
feat: allow turnstiles anywhere in location sequences Restart by label #3080: Pull request #6992 labeled by jrr6
February 7, 2025 17:00 2s
February 7, 2025 17:00 2s
feat: improve try? suggestion Restart by label #3079: Pull request #6991 labeled by leodemoura
February 7, 2025 16:06 2s
February 7, 2025 16:06 2s
feat: parallel progress notifications Restart by label #3078: Pull request #6329 unlabeled by Kha
February 7, 2025 15:34 47s
February 7, 2025 15:34 47s
fix: convert kernel interrupt into elab interrupt Restart by label #3077: Pull request #6988 labeled by Kha
February 7, 2025 14:31 2s
February 7, 2025 14:31 2s
feat: API to avoid deadlocks from dropped promises Restart by label #3076: Pull request #6958 labeled by Kha
February 7, 2025 13:52 45s
February 7, 2025 13:52 45s
feat: API to avoid deadlocks from dropped promises Restart by label #3075: Pull request #6958 unlabeled by Kha
February 7, 2025 13:49 42s
February 7, 2025 13:49 42s
feat: API to avoid deadlocks from dropped promises Restart by label #3074: Pull request #6958 labeled by Kha
February 7, 2025 13:48 44s
February 7, 2025 13:48 44s
chore: re-enable Elab.async on the cmdline Restart by label #3073: Pull request #6985 labeled by leanprover-community-bot
February 7, 2025 11:24 2s
February 7, 2025 11:24 2s
perf: avoid taking mutex on already-resolved promises Restart by label #3072: Pull request #6984 labeled by leanprover-community-bot
February 7, 2025 11:02 2s
February 7, 2025 11:02 2s
feat: respect Task.map/bind (sync := true) after waiting Restart by label #3071: Pull request #6976 labeled by Kha
February 7, 2025 09:06 2s
February 7, 2025 09:06 2s
feat: improve monadic Array lemmas Restart by label #3070: Pull request #6982 labeled by kim-em
February 7, 2025 03:40 3s
February 7, 2025 03:40 3s
feat: try? tactic improvements Restart by label #3069: Pull request #6981 labeled by leodemoura
February 7, 2025 01:08 2s
February 7, 2025 01:08 2s
feat: try? validation and cleanup Restart by label #3068: Pull request #6980 labeled by leodemoura
February 6, 2025 23:36 2s
February 6, 2025 23:36 2s
feat: try? composite suggestions Restart by label #3067: Pull request #6979 labeled by leodemoura
February 6, 2025 21:56 2s
February 6, 2025 21:56 2s
fix: inlay hints in untitled files Restart by label #3066: Pull request #6978 labeled by mhuisi
February 6, 2025 19:06 2s
February 6, 2025 19:06 2s
refactor: elaborate forIn notation without extra let Restart by label #3065: Pull request #6977 labeled by leanprover-community-bot
February 6, 2025 17:37 2s
February 6, 2025 17:37 2s
refactor: elaborate forIn notation without extra let Restart by label #3064: Pull request #6977 unlabeled by leanprover-community-bot
February 6, 2025 17:37 2s
February 6, 2025 17:37 2s
feat: inlay hint refinements Restart by label #3063: Pull request #6959 labeled by leanprover-community-bot
February 6, 2025 17:25 2s
February 6, 2025 17:25 2s
feat: parallel progress notifications Restart by label #3062: Pull request #6329 labeled by Kha
February 6, 2025 16:52 43s
February 6, 2025 16:52 43s
feat: respect Task.map/bind (sync := true) after waiting Restart by label #3061: Pull request #6976 labeled by leanprover-community-bot
February 6, 2025 16:44 2s
February 6, 2025 16:44 2s
refactor: elaborate forIn notation without extra let Restart by label #3060: Pull request #6977 labeled by nomeata
February 6, 2025 16:21 1s
February 6, 2025 16:21 1s
feat: tree map data structures and operations Restart by label #3059: Pull request #6914 labeled by leanprover-community-bot
February 6, 2025 16:13 2s
February 6, 2025 16:13 2s