egraphs-good

egglog

BlogDocsChangelog

Blog

Docs

Changelog

OverviewBranchesBenchmarksRuns

Mode

CPU Simulation

Wall Time

Memory

Status

CompletedFailureProcessingPending

Event

push

pull_request

schedule

workflow_dispatch

cli

wizard

1193 total

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

14 hours ago pull_request

7ca8ee8

yihozhang-decomp (#785)

by yihozhang

View Run

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

15 hours ago pull_request

95edd48

oflatt-rip-out-backend-proofs (#837)

by oflatt

View Run

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

15 hours ago pull_request

93f3278

oflatt-rip-out-backend-proofs (#837)

by oflatt

View Run

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

1 day ago pull_request

38b3fc3

yihozhang-decomp (#785)

by yihozhang

View Run

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

1 day ago pull_request

816131a

yihozhang-decomp (#785)

by yihozhang

View Run

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

1 day ago pull_request

f45ba11

yihozhang-decomp (#785)

by yihozhang

View Run

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

1 day ago pull_request

033a70d

yihozhang-decomp (#785)

by yihozhang

View Run

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

2 days ago pull_request

bcd6b13

yihozhang-decomp (#785)

by yihozhang

View Run

GitHub Actions

Uses the Wall Time instrument
to collect wall time performance metrics.

Uses the CPU Simulation instrument
to collect CPU performance metrics.

2 days ago pull_request

28aae0f

oflatt-refactor-parallel (#826)

by oflatt

View Run

12345...133

© 2026 CodSpeed Technology

Home Terms Privacy Docs