Skip to content

Actions: TinyTapeout/tinytapeout-10

Actions

formal

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yaml
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: update project tt_um_hpdl1414_uart_atudoroi from ADDTDR/tt10-hp… formal #114: Commit 4228ba3 pushed by urish
February 21, 2025 05:03 5m 24s main
main
February 21, 2025 05:03 5m 24s
feat: update project tt_um_jp_cd101_saw from jpf91/cd101-tt-saw formal #113: Commit 3e1fa6e pushed by urish
February 20, 2025 20:17 5m 50s main
main
February 20, 2025 20:17 5m 50s
feat: update project tt_um_cw_vref from christoph-weiser/tt10-vref formal #112: Commit 67cadf3 pushed by urish
February 20, 2025 20:17 5m 50s main
main
February 20, 2025 20:17 5m 50s
feat: update project tt_um_cw_vref from christoph-weiser/tt10-vref formal #111: Commit 36639a9 pushed by urish
February 20, 2025 18:50 5m 46s main
main
February 20, 2025 18:50 5m 46s
feat: update project tt_um_bg_DanielZhu123 from DanielZhu123/tt10-ana… formal #110: Commit b0286c3 pushed by urish
February 20, 2025 09:42 5m 20s main
main
February 20, 2025 09:42 5m 20s
feat: update project tt_um_zhouzhouthezhou_adder from zhouzhouthezhou… formal #109: Commit 142a0a8 pushed by urish
February 20, 2025 08:51 5m 41s main
main
February 20, 2025 08:51 5m 41s
feat: update project tt_um_larva from jesari-git/tt10_larva-jarias formal #108: Commit 03019aa pushed by urish
February 18, 2025 11:58 5m 19s main
main
February 18, 2025 11:58 5m 19s
feat: update project tt_um_torurstrom_async_lock from torurstrom/tt10… formal #107: Commit a9090b6 pushed by urish
February 16, 2025 21:25 5m 7s main
main
February 16, 2025 21:25 5m 7s
feat: update project tt_um_asgerwenneb from AsgerWenneb/trt10-verilog formal #106: Commit ccc7d95 pushed by urish
February 16, 2025 04:31 5m 45s main
main
February 16, 2025 04:31 5m 45s
feat: update project tt_um_wokwi_422960054456096769 from Emoun/tiny-t… formal #105: Commit f4926b0 pushed by urish
February 15, 2025 17:28 5m 25s main
main
February 15, 2025 17:28 5m 25s
feat: update project tt_um_wokwi_422964560741491713 from gantover/wok… formal #104: Commit 643e37e pushed by urish
February 15, 2025 17:28 5m 24s main
main
February 15, 2025 17:28 5m 24s
feat: update project tt_um_wokwi_422960080008854529 from NunoJorge-NC… formal #103: Commit 233fb24 pushed by urish
February 15, 2025 17:27 5m 26s main
main
February 15, 2025 17:27 5m 26s
feat: update project tt_um_wokwi_422960085743520769 from EhsanKhodada… formal #102: Commit 6e740e7 pushed by urish
February 15, 2025 17:26 5m 28s main
main
February 15, 2025 17:26 5m 28s
feat: update project tt_um_wokwi_422968696249282561 from git-mad-max/… formal #101: Commit 77870c2 pushed by urish
February 15, 2025 17:26 5m 13s main
main
February 15, 2025 17:26 5m 13s
feat: update project tt_um_enjens from EnJens/tt10-workshop-verilog formal #100: Commit 2b0e1f1 pushed by urish
February 15, 2025 17:25 5m 38s main
main
February 15, 2025 17:25 5m 38s
feat: update project tt_um_luke_clock from lucapezza/tt10_luke_clock formal #99: Commit 1985e75 pushed by urish
February 15, 2025 17:24 5m 24s main
main
February 15, 2025 17:24 5m 24s
feat: update project tt_um_wokwi_422964079222757377 from keszocze/tt1… formal #98: Commit af5d22a pushed by urish
February 15, 2025 17:23 5m 24s main
main
February 15, 2025 17:23 5m 24s
feat: update project tt_um_wokwi_422962904571040769 from BitisG/tinyt… formal #97: Commit 8db8010 pushed by urish
February 15, 2025 15:48 5m 14s main
main
February 15, 2025 15:48 5m 14s
feat: update project tt_um_wokwi_422968416190311425 from NorthCdt/typ… formal #96: Commit d0276f9 pushed by urish
February 15, 2025 15:48 5m 15s main
main
February 15, 2025 15:48 5m 15s
feat: update project tt_um_wokwi_422959974126748673 from Abdala-Alhou… formal #95: Commit aa0605b pushed by urish
February 15, 2025 15:47 5m 22s main
main
February 15, 2025 15:47 5m 22s
feat: update project tt_um_wokwi_422961185855130625 from ahsanrafiq29… formal #94: Commit 3d940d1 pushed by urish
February 15, 2025 15:47 5m 17s main
main
February 15, 2025 15:47 5m 17s
feat: update project tt_um_wokwi_422960078645704705 from HeroGamers/T… formal #93: Commit 6db62f4 pushed by urish
February 15, 2025 15:46 5m 14s main
main
February 15, 2025 15:46 5m 14s
feat: update project tt_um_wokwi_422960059664377857 from Strider93/tt… formal #92: Commit 6ea6712 pushed by urish
February 15, 2025 15:45 5m 30s main
main
February 15, 2025 15:45 5m 30s
feat: update project tt_um_wokwi_422960491546730497 from GattyInstrum… formal #91: Commit 1af1b62 pushed by urish
February 15, 2025 15:45 5m 21s main
main
February 15, 2025 15:45 5m 21s
feat: update project tt_um_asgerwenneb from AsgerWenneb/trt10-verilog formal #90: Commit 16c4a14 pushed by urish
February 15, 2025 15:44 5m 27s main
main
February 15, 2025 15:44 5m 27s