Skip to content

Actions: apache/datafusion-comet

Actions

Run Miri Safety Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
miri.yml
1,712 workflow runs
1,712 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Support sort merge join with a join condition Run Miri Safety Checks #12: Pull request #553 synchronize by viirya
July 11, 2024 05:24 4m 34s viirya:smj_filter
viirya:smj_filter
July 11, 2024 05:24 4m 34s
chore: Make shuffle compression level configurable Run Miri Safety Checks #11: Pull request #632 synchronize by andygrove
July 11, 2024 01:33 5m 5s andygrove:compression-level
andygrove:compression-level
July 11, 2024 01:33 5m 5s
chore: Add Miri workflow (#636) Run Miri Safety Checks #10: Commit 1dc092f pushed by andygrove
July 11, 2024 00:33 5m 14s main
main
July 11, 2024 00:33 5m 14s
chore: Add Miri workflow Run Miri Safety Checks #9: Pull request #636 synchronize by andygrove
July 10, 2024 22:18 4m 56s andygrove:miri
andygrove:miri
July 10, 2024 22:18 4m 56s
chore: Add Miri workflow Run Miri Safety Checks #8: Pull request #636 synchronize by andygrove
July 10, 2024 22:15 53s andygrove:miri
andygrove:miri
July 10, 2024 22:15 53s
chore: Add Miri workflow Run Miri Safety Checks #7: Pull request #636 synchronize by andygrove
July 5, 2024 22:03 4m 51s andygrove:miri
andygrove:miri
July 5, 2024 22:03 4m 51s
chore: Add Miri workflow Run Miri Safety Checks #6: Pull request #636 synchronize by andygrove
July 5, 2024 21:57 4m 23s andygrove:miri
andygrove:miri
July 5, 2024 21:57 4m 23s
chore: Add Miri workflow Run Miri Safety Checks #5: Pull request #636 synchronize by andygrove
July 5, 2024 21:51 4m 25s andygrove:miri
andygrove:miri
July 5, 2024 21:51 4m 25s
chore: Add Miri workflow Run Miri Safety Checks #4: Pull request #636 synchronize by andygrove
July 5, 2024 21:51 4m 31s andygrove:miri
andygrove:miri
July 5, 2024 21:51 4m 31s
chore: Add Miri workflow Run Miri Safety Checks #3: Pull request #636 synchronize by andygrove
July 5, 2024 19:59 41m 17s andygrove:miri
andygrove:miri
July 5, 2024 19:59 41m 17s
chore: Add Miri workflow Run Miri Safety Checks #2: Pull request #636 synchronize by andygrove
July 5, 2024 19:34 7m 37s andygrove:miri
andygrove:miri
July 5, 2024 19:34 7m 37s
chore: Add Miri workflow Run Miri Safety Checks #1: Pull request #636 opened by andygrove
July 5, 2024 19:31 44s andygrove:miri
andygrove:miri
July 5, 2024 19:31 44s
ProTip! You can narrow down the results and go further in time using created:<2024-07-05 or the other filters available.