Skip to content

Actions: egraphs-good/extraction-gym

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

faster-ILP extractor
Build #98: Pull request #16 synchronize by TrevorHansen
January 1, 2024 02:03 47s TrevorHansen:om4
January 1, 2024 02:03 47s
faster-ILP extractor
Build #97: Pull request #16 synchronize by TrevorHansen
January 1, 2024 02:02 45s TrevorHansen:om4
January 1, 2024 02:02 45s
faster-ILP extractor
Build #96: Pull request #16 synchronize by TrevorHansen
January 1, 2024 02:01 37s TrevorHansen:om4
January 1, 2024 02:01 37s
faster-ILP extractor
Build #95: Pull request #16 synchronize by TrevorHansen
January 1, 2024 02:00 42s TrevorHansen:om4
January 1, 2024 02:00 42s
Test code
Build #94: Pull request #31 synchronize by TrevorHansen
January 1, 2024 01:59 58s TrevorHansen:om12
January 1, 2024 01:59 58s
faster-ILP extractor
Build #93: Pull request #16 synchronize by TrevorHansen
January 1, 2024 01:39 41s TrevorHansen:om4
January 1, 2024 01:39 41s
faster-ILP extractor
Build #92: Pull request #16 synchronize by TrevorHansen
January 1, 2024 01:21 44s TrevorHansen:om4
January 1, 2024 01:21 44s
Fix faster-greedy-dag extractor.
Build #91: Pull request #32 opened by TrevorHansen
December 31, 2023 00:49 1m 8s TrevorHansen:om14
December 31, 2023 00:49 1m 8s
Test code
Build #90: Pull request #31 synchronize by TrevorHansen
December 30, 2023 13:43 44s TrevorHansen:om12
December 30, 2023 13:43 44s
faster-ILP extractor
Build #89: Pull request #16 synchronize by TrevorHansen
December 30, 2023 00:18 59s TrevorHansen:om4
December 30, 2023 00:18 59s
faster-ILP extractor
Build #88: Pull request #16 synchronize by TrevorHansen
December 29, 2023 23:58 32s TrevorHansen:om4
December 29, 2023 23:58 32s
Test code
Build #87: Pull request #31 synchronize by TrevorHansen
December 29, 2023 23:52 36s TrevorHansen:om12
December 29, 2023 23:52 36s
faster-ILP extractor
Build #86: Pull request #16 synchronize by TrevorHansen
December 29, 2023 12:22 50s TrevorHansen:om4
December 29, 2023 12:22 50s
faster-ILP extractor
Build #85: Pull request #16 synchronize by TrevorHansen
December 29, 2023 12:14 1m 8s TrevorHansen:om4
December 29, 2023 12:14 1m 8s
faster-ILP extractor
Build #84: Pull request #16 synchronize by TrevorHansen
December 29, 2023 12:01 32s TrevorHansen:om4
December 29, 2023 12:01 32s
faster-ILP extractor
Build #83: Pull request #16 synchronize by TrevorHansen
December 29, 2023 11:57 38s TrevorHansen:om4
December 29, 2023 11:57 38s
faster-ILP extractor
Build #82: Pull request #16 synchronize by TrevorHansen
December 29, 2023 11:53 49s TrevorHansen:om4
December 29, 2023 11:53 49s
Test code
Build #81: Pull request #31 synchronize by TrevorHansen
December 29, 2023 00:31 1m 11s TrevorHansen:om12
December 29, 2023 00:31 1m 11s
Test code
Build #80: Pull request #31 synchronize by TrevorHansen
December 28, 2023 23:58 32s TrevorHansen:om12
December 28, 2023 23:58 32s
Test code
Build #79: Pull request #31 synchronize by TrevorHansen
December 28, 2023 15:00 54s TrevorHansen:om12
December 28, 2023 15:00 54s
Test code
Build #78: Pull request #31 opened by TrevorHansen
December 28, 2023 14:58 26s TrevorHansen:om12
December 28, 2023 14:58 26s