Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
854 workflow runs
854 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New Term Encoding Build #572: Pull request #158 synchronize by oflatt
July 20, 2023 20:04 1m 31s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 20, 2023 20:04 1m 31s
New Term Encoding Build #571: Pull request #158 synchronize by oflatt
July 20, 2023 19:44 1m 32s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 20, 2023 19:44 1m 32s
Neaten test generation Build #570: Commit 9fe03ad pushed by mwillsey
July 19, 2023 21:45 2m 35s main
main
July 19, 2023 21:45 2m 35s
Add serialization support (#171) Build #569: Commit c65d3d6 pushed by mwillsey
July 19, 2023 21:38 2m 58s main
main
July 19, 2023 21:38 2m 58s
Add serialization support Build #568: Pull request #171 synchronize by saulshanabrook
July 19, 2023 20:19 2m 21s saulshanabrook:export
saulshanabrook:export
July 19, 2023 20:19 2m 21s
New Term Encoding Build #567: Pull request #158 synchronize by oflatt
July 19, 2023 18:20 1m 37s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 19, 2023 18:20 1m 37s
New Term Encoding Build #566: Pull request #158 synchronize by oflatt
July 19, 2023 18:18 1m 27s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 19, 2023 18:18 1m 27s
Add serialization support Build #565: Pull request #171 synchronize by saulshanabrook
July 19, 2023 14:31 1m 18s saulshanabrook:export
saulshanabrook:export
July 19, 2023 14:31 1m 18s
Add serialization support Build #564: Pull request #171 opened by saulshanabrook
July 18, 2023 21:58 2m 36s saulshanabrook:export
saulshanabrook:export
July 18, 2023 21:58 2m 36s
New Term Encoding Build #563: Pull request #158 synchronize by oflatt
July 17, 2023 23:40 1m 34s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 17, 2023 23:40 1m 34s
New Term Encoding Build #562: Pull request #158 synchronize by oflatt
July 17, 2023 23:25 1m 28s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 17, 2023 23:25 1m 28s
New Term Encoding Build #561: Pull request #158 synchronize by oflatt
July 17, 2023 23:20 8m 25s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 17, 2023 23:20 8m 25s
New Term Encoding Build #560: Pull request #158 synchronize by oflatt
July 17, 2023 23:06 1m 14s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 17, 2023 23:06 1m 14s
feat: Add negation support to f64 (#168) Build #559: Commit 7e56187 pushed by mwillsey
July 17, 2023 22:53 2m 16s main
main
July 17, 2023 22:53 2m 16s
New Term Encoding Build #558: Pull request #158 synchronize by oflatt
July 17, 2023 19:51 1m 13s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 17, 2023 19:51 1m 13s
feat: Add negation for f64 Build #557: Pull request #168 opened by wbthomason
July 17, 2023 18:10 2m 31s wbthomason:main
wbthomason:main
July 17, 2023 18:10 2m 31s
New Term Encoding Build #556: Pull request #158 synchronize by oflatt
July 17, 2023 17:05 7m 7s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 17, 2023 17:05 7m 7s
New Term Encoding Build #555: Pull request #158 synchronize by oflatt
July 14, 2023 18:44 1m 21s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 14, 2023 18:44 1m 21s
New Term Encoding Build #554: Pull request #158 synchronize by oflatt
July 14, 2023 18:05 1m 42s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 14, 2023 18:05 1m 42s
New Term Encoding Build #553: Pull request #158 synchronize by oflatt
July 13, 2023 22:13 1m 19s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 13, 2023 22:13 1m 19s
New Term Encoding Build #552: Pull request #158 synchronize by oflatt
July 13, 2023 19:05 1m 32s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 13, 2023 19:05 1m 32s
New Term Encoding Build #551: Pull request #158 synchronize by oflatt
July 12, 2023 21:26 1m 22s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 12, 2023 21:26 1m 22s
New Term Encoding Build #550: Pull request #158 synchronize by oflatt
July 12, 2023 21:24 1m 14s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 12, 2023 21:24 1m 14s
New Term Encoding Build #549: Pull request #158 synchronize by oflatt
July 12, 2023 21:24 1m 48s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 12, 2023 21:24 1m 48s
New Term Encoding Build #548: Pull request #158 synchronize by oflatt
July 12, 2023 19:29 1m 27s oflatt:oflatt-check-proofs
oflatt:oflatt-check-proofs
July 12, 2023 19:29 1m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-07-12 or the other filters available.