Skip to content

Actions: TinyTapeout/tinytapeout-09-staging

Actions

formal

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yaml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci(precheck): free disk space formal #58: Commit 05fd04c pushed by urish
November 11, 2024 20:40 5m 51s main
main
November 11, 2024 20:40 5m 51s
docs(datasheet): add chip map and GDS renders formal #57: Commit f3148e0 pushed by urish
November 11, 2024 13:23 5m 57s main
main
November 11, 2024 13:23 5m 57s
docs(datasheet): add chip map and GDS renders formal #56: Commit 0552780 pushed by urish
November 11, 2024 13:16 5m 33s main
main
November 11, 2024 13:16 5m 33s
ci(gds): restrict to specific projects to speed up iteration formal #55: Commit f10d792 pushed by urish
November 10, 2024 15:37 5m 29s main
main
November 10, 2024 15:37 5m 29s
ci(gds): restrict to specific projects to speed up iteration formal #54: Commit b425faf pushed by urish
November 10, 2024 15:34 5m 37s main
main
November 10, 2024 15:34 5m 37s
fix(tt_um_kmakise_sram): workaround for SRAM macro DRC errors formal #53: Commit b12490e pushed by urish
November 8, 2024 14:01 5m 42s sram-project-integration
sram-project-integration
November 8, 2024 14:01 5m 42s
fix(sky130_density_fix): don't update project GDS if there are no cel… formal #52: Commit 12af5ac pushed by urish
November 8, 2024 13:56 5m 33s main
main
November 8, 2024 13:56 5m 33s
fix(tt_um_kmakise_sram): workaround for SRAM macro DRC errors formal #51: Commit 0fc3b48 pushed by urish
November 8, 2024 13:44 5m 24s sram-project-integration
sram-project-integration
November 8, 2024 13:44 5m 24s
fix(tt_um_kmakise_sram): workaround for SRAM macro DRC errors formal #50: Commit e991df3 pushed by urish
November 8, 2024 13:40 5m 19s sram-project-integration
sram-project-integration
November 8, 2024 13:40 5m 19s
fix(tt_um_kmakise_sram): workaround for SRAM macro DRC errors formal #49: Commit c951ddd pushed by urish
November 8, 2024 13:37 5m 33s sram-project-integration
sram-project-integration
November 8, 2024 13:37 5m 33s
ci(gds): build with only tt_um_kmakise_sram to speed up iteration formal #48: Commit 42db4be pushed by urish
November 8, 2024 12:37 5m 18s sram-project-integration
sram-project-integration
November 8, 2024 12:37 5m 18s
fix: apply the poly density workaround to all digital designs formal #47: Commit 0ee8b4e pushed by urish
November 8, 2024 12:23 5m 18s main
main
November 8, 2024 12:23 5m 18s
fix: apply the poly density workaround to all digital designs formal #46: Commit 3ac5f1d pushed by urish
November 8, 2024 12:18 5m 22s main
main
November 8, 2024 12:18 5m 22s
fix: apply poly density workaround to additional projects formal #45: Commit 840a2a4 pushed by urish
November 7, 2024 20:48 5m 27s main
main
November 7, 2024 20:48 5m 27s
fix: apply poly density workaround to additional projects formal #44: Commit d257f0c pushed by urish
November 7, 2024 18:03 5m 29s main
main
November 7, 2024 18:03 5m 29s
fix: apply poly density workaround to additional projects formal #43: Commit 2dc062b pushed by urish
November 7, 2024 17:13 5m 28s main
main
November 7, 2024 17:13 5m 28s
fix: apply poly density workaround to additional projects formal #42: Commit e9387bb pushed by urish
November 7, 2024 17:03 5m 24s main
main
November 7, 2024 17:03 5m 24s
fix: temporarily disable MAGIC_CAPTURE_ERRORS / Magic DRC formal #41: Commit 5588fa1 pushed by urish
November 7, 2024 13:04 5m 37s main
main
November 7, 2024 13:04 5m 37s
fix: apply poly density workaround to additional projects formal #40: Commit 49ed1bc pushed by urish
November 7, 2024 13:03 5m 20s main
main
November 7, 2024 13:03 5m 20s
ci(gds): run on subset of the projects formal #39: Commit 64ec6ab pushed by urish
November 7, 2024 07:02 5m 23s precheck-add-tapeout
precheck-add-tapeout
November 7, 2024 07:02 5m 23s
fix: temporarily disable MAGIC_CAPTURE_ERRORS / Magic DRC formal #38: Commit 5e95fdf pushed by urish
November 6, 2024 20:48 5m 26s main
main
November 6, 2024 20:48 5m 26s
ci(precheck): metal density DRC script formal #37: Commit b416dd4 pushed by urish
November 6, 2024 20:48 5m 22s main
main
November 6, 2024 20:48 5m 22s
fix: temporarily disable MAGIC_CAPTURE_ERRORS / Magic DRC formal #36: Commit 4af2251 pushed by urish
November 6, 2024 19:03 5m 39s main
main
November 6, 2024 19:03 5m 39s
fix: workaround for the sky130 poly density issue formal #35: Commit 7f708ce pushed by urish
November 6, 2024 19:03 5m 18s main
main
November 6, 2024 19:03 5m 18s
ci(precheck): run sky130 density checks formal #34: Commit 71d2fdf pushed by urish
November 6, 2024 10:42 5m 18s precheck-add-tapeout
precheck-add-tapeout
November 6, 2024 10:42 5m 18s