Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
901 workflow run results
901 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1128: Pull request #210 synchronize by tobiasgrosser
April 8, 2024 16:41 10m 52s simplify_alive
simplify_alive
April 8, 2024 16:41 10m 52s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1127: Pull request #210 synchronize by tobiasgrosser
April 8, 2024 16:37 10m 59s simplify_alive
simplify_alive
April 8, 2024 16:37 10m 59s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1126: Pull request #210 synchronize by tobiasgrosser
April 8, 2024 16:34 10m 23s simplify_alive
simplify_alive
April 8, 2024 16:34 10m 23s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1125: Pull request #210 synchronize by alexkeizer
April 8, 2024 15:06 10m 38s simplify_alive
simplify_alive
April 8, 2024 15:06 10m 38s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1124: Pull request #210 synchronize by tobiasgrosser
April 8, 2024 14:19 10m 44s simplify_alive
simplify_alive
April 8, 2024 14:19 10m 44s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1123: Pull request #210 synchronize by tobiasgrosser
April 8, 2024 13:57 30m 29s simplify_alive
simplify_alive
April 8, 2024 13:57 30m 29s
chore: do not set decide := false in simp docs #148: Commit fe0ca1e pushed by github-merge-queue bot
April 8, 2024 13:33 1m 28s main
main
April 8, 2024 13:33 1m 28s
chore: do not set decide := false in simp core library #1122: Commit fe0ca1e pushed by github-merge-queue bot
April 8, 2024 13:33 10m 18s main
main
April 8, 2024 13:33 10m 18s
core library core library #1121: Merge group checks requested
April 8, 2024 13:22 10m 36s
April 8, 2024 13:22 10m 36s
chore: do not set decide := false in simp core library #1120: Pull request #216 opened by tobiasgrosser
April 8, 2024 13:11 10m 37s simp_remove_decide_from_options
simp_remove_decide_from_options
April 8, 2024 13:11 10m 37s
feat: add scaling test case for LLVM alive docs #147: Commit c842e57 pushed by github-merge-queue bot
April 8, 2024 13:05 1m 13s main
main
April 8, 2024 13:05 1m 13s
feat: add scaling test case for LLVM alive core library #1119: Commit c842e57 pushed by github-merge-queue bot
April 8, 2024 13:05 10m 51s main
main
April 8, 2024 13:05 10m 51s
chore: simplify 'simp' in AliveHandwrittenExample docs #146: Commit 8f79ba9 pushed by github-merge-queue bot
April 8, 2024 13:02 1m 10s main
main
April 8, 2024 13:02 1m 10s
chore: simplify 'simp' in AliveHandwrittenExample core library #1118: Commit 8f79ba9 pushed by github-merge-queue bot
April 8, 2024 13:02 8m 51s main
main
April 8, 2024 13:02 8m 51s
core library core library #1117: Merge group checks requested
April 8, 2024 12:53 11m 9s
April 8, 2024 12:53 11m 9s
core library core library #1116: Merge group checks requested
April 8, 2024 12:53 8m 42s
April 8, 2024 12:53 8m 42s
chore: simplify 'simp' in AliveHandwrittenExample core library #1115: Pull request #215 synchronize by tobiasgrosser
April 8, 2024 04:44 8m 57s simplify_simp
simplify_simp
April 8, 2024 04:44 8m 57s
chore: simplify 'simp' in AliveHandwrittenExample core library #1114: Pull request #215 synchronize by tobiasgrosser
April 8, 2024 04:42 8m 47s simplify_simp
simplify_simp
April 8, 2024 04:42 8m 47s
chore: simplify 'simp' in AliveHandwrittenExample core library #1113: Pull request #215 opened by tobiasgrosser
April 8, 2024 04:42 8m 25s simplify_simp
simplify_simp
April 8, 2024 04:42 8m 25s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1112: Pull request #210 synchronize by tobiasgrosser
April 7, 2024 17:08 8m 31s simplify_alive
simplify_alive
April 7, 2024 17:08 8m 31s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1111: Pull request #210 synchronize by tobiasgrosser
April 7, 2024 17:03 2m 22s simplify_alive
simplify_alive
April 7, 2024 17:03 2m 22s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1110: Pull request #210 synchronize by tobiasgrosser
April 7, 2024 17:00 1m 58s simplify_alive
simplify_alive
April 7, 2024 17:00 1m 58s
feat: hide monadic behavior of llvm semantics behind a function boundary. core library #1109: Pull request #210 synchronize by tobiasgrosser
April 7, 2024 16:59 2m 7s simplify_alive
simplify_alive
April 7, 2024 16:59 2m 7s
feat: add scaling test case for LLVM alive core library #1108: Pull request #214 synchronize by tobiasgrosser
April 7, 2024 14:06 10m 28s scaling
scaling
April 7, 2024 14:06 10m 28s
feat: add scaling test case for LLVM alive core library #1107: Pull request #214 synchronize by tobiasgrosser
April 7, 2024 13:26 8m 36s scaling
scaling
April 7, 2024 13:26 8m 36s