Skip to content

Actions: TinyTapeout/tinytapeout-03

Actions

formal

Actions

Loading...

Show workflow options

Create status badge

formal.yaml
13 workflow runs
13 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
feat: add info.yaml for all projects + index formal #13: Commit b2fae94 pushed by urish
March 18, 2024 20:40 35s main
main
March 18, 2024 20:40 35s
update pic and docs formal #12: Commit 088a247 pushed by mattvenn
February 28, 2024 11:22 39s main
main
February 28, 2024 11:22 39s
final designs formal #11: Commit dec4901 pushed by mattvenn
April 25, 2023 09:04 51s tapeout
tapeout
April 25, 2023 09:04 51s
try python3.8 to work around pyyaml issues with python3.10 formal #10: Commit 85153e6 pushed by mattvenn
April 25, 2023 08:45 41s main
main
April 25, 2023 08:45 41s
final designs formal #9: Commit dec4901 pushed by mattvenn
April 24, 2023 22:39 3m 2s main
main
April 24, 2023 22:39 3m 2s
split into 2 lines to fix grep pipe error formal #8: Commit 79ca4c8 pushed by mattvenn
April 24, 2023 11:56 51s main
main
April 24, 2023 11:56 51s
revert formal #7: Commit c83c92b pushed by mattvenn
April 24, 2023 11:42 46s main
main
April 24, 2023 11:42 46s
remove violations reported about Haralds analog design formal #6: Commit 9f45516 pushed by mattvenn
April 24, 2023 11:35 42s main
main
April 24, 2023 11:35 42s
support extra_projects.yaml and add them formal #5: Commit 3e570e8 pushed by mattvenn
April 21, 2023 16:58 38s main
main
April 21, 2023 16:58 38s
formatting formal #4: Commit a27d01e pushed by mattvenn
April 21, 2023 14:54 50s main
main
April 21, 2023 14:54 50s
new designs and moved to tnt's invert clock scanchain formal #3: Commit c9f2fe0 pushed by mattvenn
April 21, 2023 12:23 42s main
main
April 21, 2023 12:23 42s
add badge formal #2: Commit 8218a41 pushed by mattvenn
April 20, 2023 15:30 48s main
main
April 20, 2023 15:30 48s
add GH action for formal test of scan controller input mux formal #1: Commit aeef328 pushed by mattvenn
April 20, 2023 15:29 39s main
main
April 20, 2023 15:29 39s