Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
857 workflow runs
857 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New Term Encoding Build #583: Pull request #158 synchronize by oflatt
July 27, 2023 21:35 1m 25s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 27, 2023 21:35 1m 25s
New Term Encoding Build #582: Pull request #158 synchronize by oflatt
July 27, 2023 18:09 1m 49s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 27, 2023 18:09 1m 49s
New Term Encoding Build #581: Pull request #158 synchronize by oflatt
July 27, 2023 17:49 8m 47s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 27, 2023 17:49 8m 47s
New Term Encoding Build #580: Pull request #158 synchronize by mwillsey
July 27, 2023 17:15 6h 0m 25s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 27, 2023 17:15 6h 0m 25s
New Term Encoding Build #579: Pull request #158 synchronize by oflatt
July 27, 2023 17:12 1m 15s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 27, 2023 17:12 1m 15s
New Term Encoding Build #578: Pull request #158 synchronize by oflatt
July 27, 2023 17:11 27m 15s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 27, 2023 17:11 27m 15s
Fix serialize checking for temp name Build #577: Pull request #174 opened by saulshanabrook
July 26, 2023 20:57 2m 12s saulshanabrook:fix-serialize-temp-check
saulshanabrook:fix-serialize-temp-check
July 26, 2023 20:57 2m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-07-26 or the other filters available.