Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
16,751 workflow runs
16,751 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #27210: Scheduled
January 26, 2025 07:03 1h 39m 5s master
master
January 26, 2025 07:03 1h 39m 5s
refactor: lake: all targets produce jobs (#6780) CI #27209: Commit 6278839 pushed by github-merge-queue bot
January 26, 2025 05:27 23m 16s master
master
January 26, 2025 05:27 23m 16s
CI CI #27208: Merge group checks requested
January 26, 2025 05:03 23m 39s
January 26, 2025 05:03 23m 39s
refactor: lake: all targets produce jobs CI #27207: Pull request #6780 synchronize by tydeu
January 26, 2025 04:12 16m 16s tydeu:lake/targets-are-jobs
tydeu:lake/targets-are-jobs
January 26, 2025 04:12 16m 16s
refactor: lake: all targets produce jobs CI #27206: Pull request #6780 synchronize by tydeu
January 26, 2025 02:45 14m 15s tydeu:lake/targets-are-jobs
tydeu:lake/targets-are-jobs
January 26, 2025 02:45 14m 15s
fix: case split on data in grind (#6781) CI #27205: Commit 849a252 pushed by github-merge-queue bot
January 26, 2025 02:40 26m 7s master
master
January 26, 2025 02:40 26m 7s
CI CI #27204: Merge group checks requested
January 26, 2025 02:14 26m 2s
January 26, 2025 02:14 26m 2s
fix: case split on data in grind CI #27203: Pull request #6781 opened by leodemoura
January 26, 2025 01:57 16m 49s grind_split_data
grind_split_data
January 26, 2025 01:57 16m 49s
refactor: lake: all targets produce jobs CI #27202: Pull request #6780 opened by tydeu
January 26, 2025 01:24 18m 58s tydeu:lake/targets-are-jobs
tydeu:lake/targets-are-jobs
January 26, 2025 01:24 18m 58s
feat: improve support for match-expressions in grind (#6779) CI #27201: Commit ca56c5e pushed by github-merge-queue bot
January 26, 2025 01:15 24m 35s master
master
January 26, 2025 01:15 24m 35s
CI CI #27200: Merge group checks requested
January 26, 2025 00:50 24m 11s
January 26, 2025 00:50 24m 11s
feat: improve support for match-expressions in grind CI #27199: Pull request #6779 opened by leodemoura
January 26, 2025 00:31 18m 49s grind_match_cond_nightmare
grind_match_cond_nightmare
January 26, 2025 00:31 18m 49s
fix: assignment for offset constraints in grind (#6778) CI #27198: Commit d106667 pushed by github-merge-queue bot
January 25, 2025 23:45 24m 3s master
master
January 25, 2025 23:45 24m 3s
CI CI #27197: Merge group checks requested
January 25, 2025 23:22 23m 24s
January 25, 2025 23:22 23m 24s
fix: assignment for offset constraints in grind CI #27196: Pull request #6778 opened by leodemoura
January 25, 2025 23:04 17m 7s grind_model_interp_values
grind_model_interp_values
January 25, 2025 23:04 17m 7s
fix: offset terms internalization (#6777) CI #27195: Commit 6dbb54d pushed by github-merge-queue bot
January 25, 2025 21:39 24m 19s master
master
January 25, 2025 21:39 24m 19s
feat: support for csimp theorems in toLCNF (#6757) CI #27194: Commit cc260dd pushed by github-merge-queue bot
January 25, 2025 21:32 7m 12s master
master
January 25, 2025 21:32 7m 12s
CI CI #27193: Merge group checks requested
January 25, 2025 21:15 24m 0s
January 25, 2025 21:15 24m 0s
CI CI #27192: Merge group checks requested
January 25, 2025 21:07 24m 33s
January 25, 2025 21:07 24m 33s
fix: offset terms internalization CI #27191: Pull request #6777 opened by leodemoura
January 25, 2025 20:56 17m 50s grind_offset_bug
grind_offset_bug
January 25, 2025 20:56 17m 50s
fix: Grind.MatchCond in checkParents (#6776) CI #27190: Commit 9565334 pushed by github-merge-queue bot
January 25, 2025 20:18 24m 52s master
master
January 25, 2025 20:18 24m 52s
CI CI #27189: Merge group checks requested
January 25, 2025 19:53 24m 31s
January 25, 2025 19:53 24m 31s
fix: Grind.MatchCond in checkParents CI #27188: Pull request #6776 opened by leodemoura
January 25, 2025 19:33 19m 53s grind_match_cond_improvements
grind_match_cond_improvements
January 25, 2025 19:33 19m 53s
fix: suggest correct trace option name in partial_fixpoint error mess… CI #27187: Commit 2fa38e6 pushed by github-merge-queue bot
January 25, 2025 15:07 45m 39s master
master
January 25, 2025 15:07 45m 39s
fix: typo in partial_fixpoint docstring (#6775) CI #27186: Commit 056d1db pushed by github-merge-queue bot
January 25, 2025 15:05 2m 26s master
master
January 25, 2025 15:05 2m 26s