Skip to content

Actions: opencompl/lean-mlir

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,932 workflow runs
6,932 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2425: Pull request #783 synchronize by luisacicolini
November 4, 2024 11:27 11m 8s hdel-data-collection-script
November 4, 2024 11:27 11m 8s
chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2424: Pull request #783 synchronize by luisacicolini
November 4, 2024 11:23 11m 16s hdel-data-collection-script
November 4, 2024 11:23 11m 16s
chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2423: Pull request #783 synchronize by luisacicolini
November 4, 2024 11:16 11m 37s hdel-data-collection-script
November 4, 2024 11:16 11m 37s
chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2422: Pull request #783 synchronize by luisacicolini
November 4, 2024 11:15 11m 23s hdel-data-collection-script
November 4, 2024 11:15 11m 23s
chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2421: Pull request #783 synchronize by luisacicolini
November 4, 2024 11:10 11m 25s hdel-data-collection-script
November 4, 2024 11:10 11m 25s
chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2420: Pull request #783 synchronize by luisacicolini
November 4, 2024 11:09 11m 13s hdel-data-collection-script
November 4, 2024 11:09 11m 13s
chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2419: Pull request #783 synchronize by luisacicolini
November 4, 2024 10:33 10m 48s hdel-data-collection-script
November 4, 2024 10:33 10m 48s
chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2418: Pull request #783 synchronize by luisacicolini
November 4, 2024 10:29 10m 58s hdel-data-collection-script
November 4, 2024 10:29 10m 58s
chore: update data collection script for hacker delight results
tools, scaling, and auto-generated statements #2417: Pull request #783 opened by luisacicolini
November 4, 2024 10:29 10m 51s hdel-data-collection-script
November 4, 2024 10:29 10m 51s
chore: use simp-normal form in LLVM.select (#760)
tools, scaling, and auto-generated statements #2416: Commit a7665b8 pushed by github-merge-queue bot
November 4, 2024 01:57 11m 22s main
November 4, 2024 01:57 11m 22s
chore: use simp-normal form in LLVM.select (#760)
core library #4213: Commit a7665b8 pushed by github-merge-queue bot
November 4, 2024 01:57 7m 54s main
November 4, 2024 01:57 7m 54s
tools, scaling, and auto-generated statements
tools, scaling, and auto-generated statements #2415: Merge group checks requested
November 4, 2024 01:48 11m 20s
November 4, 2024 01:48 11m 20s
core library
core library #4212: Merge group checks requested
November 4, 2024 01:48 8m 4s
November 4, 2024 01:48 8m 4s
chore: use simp-normal form in LLVM.select
core library #4211: Pull request #760 synchronize by tobiasgrosser
November 4, 2024 01:07 7m 48s fix_select_sem
November 4, 2024 01:07 7m 48s
chore: use simp-normal form in LLVM.select
tools, scaling, and auto-generated statements #2414: Pull request #760 synchronize by tobiasgrosser
November 4, 2024 01:07 11m 46s fix_select_sem
November 4, 2024 01:07 11m 46s
chore: use simp-normal form in LLVM.select
core library #4210: Pull request #760 synchronize by tobiasgrosser
November 4, 2024 01:06 7m 46s fix_select_sem
November 4, 2024 01:06 7m 46s