Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup from terms PR Build #597: Pull request #176 synchronize by oflatt
August 1, 2023 18:01 1m 34s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 18:01 1m 34s
Cleanup from terms PR Deploy Web Demo and Docs #375: Pull request #176 synchronize by oflatt
August 1, 2023 18:01 1m 58s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 18:01 1m 58s
Cleanup from terms PR Build #596: Pull request #176 synchronize by oflatt
August 1, 2023 17:36 1m 19s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 17:36 1m 19s
Cleanup from terms PR Deploy Web Demo and Docs #374: Pull request #176 synchronize by oflatt
August 1, 2023 17:36 2m 32s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 17:36 2m 32s
Cleanup from terms PR Build #595: Pull request #176 synchronize by oflatt
August 1, 2023 16:52 1m 15s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 16:52 1m 15s
Cleanup from terms PR Deploy Web Demo and Docs #373: Pull request #176 synchronize by oflatt
August 1, 2023 16:52 1m 47s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 16:52 1m 47s
Cleanup from terms PR Deploy Web Demo and Docs #372: Pull request #176 synchronize by oflatt
August 1, 2023 16:47 2m 7s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 16:47 2m 7s
Cleanup from terms PR Build #594: Pull request #176 synchronize by oflatt
August 1, 2023 16:47 1m 20s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 16:47 1m 20s
Cleanup from terms PR Deploy Web Demo and Docs #371: Pull request #176 synchronize by oflatt
August 1, 2023 16:34 2m 11s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 16:34 2m 11s
Cleanup from terms PR Build #593: Pull request #176 synchronize by oflatt
August 1, 2023 16:34 1m 23s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
August 1, 2023 16:34 1m 23s
Cleanup from terms PR Deploy Web Demo and Docs #370: Pull request #176 synchronize by oflatt
July 31, 2023 23:10 2m 40s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
July 31, 2023 23:10 2m 40s
Cleanup from terms PR Build #592: Pull request #176 synchronize by oflatt
July 31, 2023 23:10 1m 58s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
July 31, 2023 23:10 1m 58s
Cleanup from terms PR Deploy Web Demo and Docs #369: Pull request #176 synchronize by oflatt
July 31, 2023 23:01 2m 10s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
July 31, 2023 23:01 2m 10s
Cleanup from terms PR Build #591: Pull request #176 synchronize by oflatt
July 31, 2023 23:01 1m 38s oflatt:oflatt-cleanup-from-terms
oflatt:oflatt-cleanup-from-terms
July 31, 2023 23:01 1m 38s
pages build and deployment pages-build-deployment #173: by github-pages bot
July 28, 2023 21:16 36s
July 28, 2023 21:16 36s
pages build and deployment pages-build-deployment #172: by github-pages bot
July 28, 2023 21:16 34s
July 28, 2023 21:16 34s
Fix serialize checking for temp name (#174) Build #590: Commit 8fa258e pushed by mwillsey
July 28, 2023 21:15 2m 9s main
main
July 28, 2023 21:15 2m 9s
Fix serialize checking for temp name (#174) Deploy Web Demo and Docs #368: Commit 8fa258e pushed by mwillsey
July 28, 2023 21:15 1m 48s main
main
July 28, 2023 21:15 1m 48s
Add conversions between ints and floats (#175) Build #589: Commit 7e1cb50 pushed by mwillsey
July 28, 2023 21:14 1m 57s main
main
July 28, 2023 21:14 1m 57s
Add conversions between ints and floats (#175) Deploy Web Demo and Docs #367: Commit 7e1cb50 pushed by mwillsey
July 28, 2023 21:14 1m 54s main
main
July 28, 2023 21:14 1m 54s
Add conversions between ints and floats Build #588: Pull request #175 synchronize by saulshanabrook
July 28, 2023 15:23 2m 42s saulshanabrook:int-float-conversions
saulshanabrook:int-float-conversions
July 28, 2023 15:23 2m 42s
Add conversions between ints and floats Deploy Web Demo and Docs #366: Pull request #175 synchronize by saulshanabrook
July 28, 2023 15:23 2m 0s saulshanabrook:int-float-conversions
saulshanabrook:int-float-conversions
July 28, 2023 15:23 2m 0s
Add conversions between ints and floats Build #587: Pull request #175 opened by saulshanabrook
July 28, 2023 15:18 2m 6s saulshanabrook:int-float-conversions
saulshanabrook:int-float-conversions
July 28, 2023 15:18 2m 6s
Add conversions between ints and floats Deploy Web Demo and Docs #365: Pull request #175 opened by saulshanabrook
July 28, 2023 15:18 1m 41s saulshanabrook:int-float-conversions
saulshanabrook:int-float-conversions
July 28, 2023 15:18 1m 41s
New Term Encoding Build #586: Pull request #158 synchronize by oflatt
July 28, 2023 00:49 1m 39s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 28, 2023 00:49 1m 39s