Skip to content

Actions: gussmith23/churchroad

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Convert Yosys fork into Yosys plugin plus other cleanup Build Docker image, format check, and run tests #38: Pull request #4 synchronize by gussmith23
February 17, 2024 23:57 12m 24s gussmith23/2024-02-15-yosys-plugin
gussmith23/2024-02-15-yosys-plugin
February 17, 2024 23:57 12m 24s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #37: Scheduled
February 17, 2024 11:00 4m 9s main
main
February 17, 2024 11:00 4m 9s
Convert Yosys fork into Yosys plugin plus other cleanup Build Docker image, format check, and run tests #36: Pull request #4 synchronize by gussmith23
February 16, 2024 22:56 12m 41s gussmith23/2024-02-15-yosys-plugin
gussmith23/2024-02-15-yosys-plugin
February 16, 2024 22:56 12m 41s
Convert Yosys fork into Yosys plugin plus other cleanup Build Docker image, format check, and run tests #35: Pull request #4 synchronize by gussmith23
February 16, 2024 22:52 4m 6s gussmith23/2024-02-15-yosys-plugin
gussmith23/2024-02-15-yosys-plugin
February 16, 2024 22:52 4m 6s
Convert Yosys fork into Yosys plugin plus other cleanup Build Docker image, format check, and run tests #34: Pull request #4 synchronize by gussmith23
February 16, 2024 22:48 1m 50s gussmith23/2024-02-15-yosys-plugin
gussmith23/2024-02-15-yosys-plugin
February 16, 2024 22:48 1m 50s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #33: Scheduled
February 16, 2024 11:00 5m 37s main
main
February 16, 2024 11:00 5m 37s
Convert Lakeroad to Churchroad (#2) Build Docker image, format check, and run tests #32: Commit 0138888 pushed by gussmith23
February 16, 2024 00:37 5m 33s main
main
February 16, 2024 00:37 5m 33s
Convert Lakeroad to Churchroad Build Docker image, format check, and run tests #31: Pull request #2 synchronize by gussmith23
February 16, 2024 00:33 3m 52s gussmith23/2024-02-07-convert-lakeroad-to-churchroad
gussmith23/2024-02-07-convert-lakeroad-to-churchroad
February 16, 2024 00:33 3m 52s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #30: Scheduled
February 15, 2024 11:01 1d 7h 28m 1s main
main
February 15, 2024 11:01 1d 7h 28m 1s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #29: Scheduled
February 14, 2024 11:01 1d 0h 0m 8s main
main
February 14, 2024 11:01 1d 0h 0m 8s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #28: Scheduled
February 13, 2024 11:01 1d 0h 0m 3s main
main
February 13, 2024 11:01 1d 0h 0m 3s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #27: Scheduled
February 12, 2024 11:01 1d 0h 0m 15s main
main
February 12, 2024 11:01 1d 0h 0m 15s
Prune ghcr.io packages Prune ghcr.io packages #3: Scheduled
February 11, 2024 11:02 12s main
main
February 11, 2024 11:02 12s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #26: Scheduled
February 11, 2024 11:02 23h 59m 2s main
main
February 11, 2024 11:02 23h 59m 2s
Antiunification (originally Lakeroad PR https://github.com/uwsampl/lakeroad/pull/386) Build Docker image, format check, and run tests #25: Pull request #3 opened by gussmith23
February 10, 2024 23:42 2m 46s gussmith23/lr-egglog-antiunify
gussmith23/lr-egglog-antiunify
February 10, 2024 23:42 2m 46s
Convert Lakeroad to Churchroad Build Docker image, format check, and run tests #24: Pull request #2 synchronize by gussmith23
February 10, 2024 23:19 3m 36s gussmith23/2024-02-07-convert-lakeroad-to-churchroad
gussmith23/2024-02-07-convert-lakeroad-to-churchroad
February 10, 2024 23:19 3m 36s
Convert Lakeroad to Churchroad Build Docker image, format check, and run tests #23: Pull request #2 synchronize by gussmith23
February 10, 2024 23:08 5m 40s gussmith23/2024-02-07-convert-lakeroad-to-churchroad
gussmith23/2024-02-07-convert-lakeroad-to-churchroad
February 10, 2024 23:08 5m 40s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #22: Scheduled
February 10, 2024 11:01 1d 0h 0m 58s main
main
February 10, 2024 11:01 1d 0h 0m 58s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #21: Scheduled
February 9, 2024 11:01 23h 59m 48s main
main
February 9, 2024 11:01 23h 59m 48s
Convert Lakeroad to Churchroad Build Docker image, format check, and run tests #20: Pull request #2 synchronize by gussmith23
February 8, 2024 18:42 1d 15h 20m 34s gussmith23/2024-02-07-convert-lakeroad-to-churchroad
gussmith23/2024-02-07-convert-lakeroad-to-churchroad
February 8, 2024 18:42 1d 15h 20m 34s
Convert Lakeroad to Churchroad Build Docker image, format check, and run tests #19: Pull request #2 synchronize by gussmith23
February 8, 2024 18:25 17m 30s gussmith23/2024-02-07-convert-lakeroad-to-churchroad
gussmith23/2024-02-07-convert-lakeroad-to-churchroad
February 8, 2024 18:25 17m 30s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #18: Scheduled
February 8, 2024 11:00 1d 0h 1m 30s main
main
February 8, 2024 11:00 1d 0h 1m 30s
Convert Lakeroad to Churchroad Build Docker image, format check, and run tests #17: Pull request #2 synchronize by gussmith23
February 7, 2024 18:22 1d 0h 2m 34s gussmith23/2024-02-07-convert-lakeroad-to-churchroad
gussmith23/2024-02-07-convert-lakeroad-to-churchroad
February 7, 2024 18:22 1d 0h 2m 34s
Convert Lakeroad to Churchroad Build Docker image, format check, and run tests #16: Pull request #2 opened by gussmith23
February 7, 2024 17:33 49m 10s gussmith23/2024-02-07-convert-lakeroad-to-churchroad
gussmith23/2024-02-07-convert-lakeroad-to-churchroad
February 7, 2024 17:33 49m 10s
Build Docker image, format check, and run tests Build Docker image, format check, and run tests #15: Scheduled
February 7, 2024 11:00 1d 0h 0m 2s main
main
February 7, 2024 11:00 1d 0h 0m 2s