Skip to content

Actions: TinyTapeout/tinytapeout-07

Actions

formal

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yaml
174 workflow run results
174 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: update project tt_um_mos_bandgap from mattvenn/tt07-mos-bandgap formal #100: Commit ccf9e7d pushed by urish
May 26, 2024 10:41 6m 9s main
main
May 26, 2024 10:41 6m 9s
feat: update project tt_um_toivoh_basilisc_2816 from toivoh/tt07-basi… formal #99: Commit a219ef5 pushed by urish
May 26, 2024 07:52 5m 54s main
main
May 26, 2024 07:52 5m 54s
feat: update project tt_um_brucemack_sb_mixer from brucemack/tt07-sb-… formal #98: Commit 5e849aa pushed by urish
May 25, 2024 18:59 5m 49s main
main
May 25, 2024 18:59 5m 49s
feat: update project tt_um_toivoh_basilisc_2816 from toivoh/tt07-basi… formal #97: Commit 0bf54c5 pushed by urish
May 24, 2024 14:21 5m 51s main
main
May 24, 2024 14:21 5m 51s
feat: update project tt_um_devinatkin_dual_oscillator from devinatkin… formal #96: Commit 166b876 pushed by urish
May 24, 2024 05:50 5m 44s main
main
May 24, 2024 05:50 5m 44s
feat: integrate the new multiplexer (#83) formal #95: Commit 030cde5 pushed by urish
May 24, 2024 05:45 5m 53s main
main
May 24, 2024 05:45 5m 53s
feat: update project tt_um_riscv_spi_wrapper from devin-macy/tt06-ris… formal #93: Commit 32a611a pushed by urish
May 23, 2024 18:12 5m 48s main
main
May 23, 2024 18:12 5m 48s
feat: update project tt_um_rnunes2311_12bit_sar_adc from rnunes2311/t… formal #92: Commit f1a3909 pushed by urish
May 23, 2024 18:09 5m 36s main
main
May 23, 2024 18:09 5m 36s
feat: update project tt_um_rejunity_analog_dac_ay8913 from rejunity/t… formal #91: Commit 0709905 pushed by urish
May 23, 2024 16:59 5m 39s main
main
May 23, 2024 16:59 5m 39s
feat: update project tt_um_serdes from Santeep/TT_UM_SERDES formal #90: Commit 4579cb3 pushed by urish
May 23, 2024 15:38 5m 35s main
main
May 23, 2024 15:38 5m 35s
Integrate the new multiplexer formal #89: Pull request #83 synchronize by htfab
May 23, 2024 14:26 5m 43s htfab:muxint
htfab:muxint
May 23, 2024 14:26 5m 43s
feat: update project tt_um_toivoh_basilisc_2816 from toivoh/tt07-basi… formal #88: Commit 72f9fa7 pushed by urish
May 23, 2024 13:46 5m 49s main
main
May 23, 2024 13:46 5m 49s
Integrate the new multiplexer formal #87: Pull request #83 synchronize by htfab
May 23, 2024 11:02 5m 53s htfab:muxint
htfab:muxint
May 23, 2024 11:02 5m 53s
feat: update project tt_um_toivoh_basilisc_2816 from toivoh/tt07-basi… formal #86: Commit 1335282 pushed by urish
May 23, 2024 10:49 5m 48s main
main
May 23, 2024 10:49 5m 48s
feat: update project tt_um_fp_mac from wilfredkisku/tt07_wilfred_fp_mac formal #85: Commit c8c48a8 pushed by urish
May 23, 2024 10:19 5m 53s main
main
May 23, 2024 10:19 5m 53s
Integrate the new multiplexer formal #84: Pull request #83 opened by htfab
May 23, 2024 10:11 5m 40s htfab:muxint
htfab:muxint
May 23, 2024 10:11 5m 40s
feat: update project tt_um_router from leeja-j/router_tinytapeout formal #83: Commit 38cec76 pushed by urish
May 23, 2024 09:55 6m 9s main
main
May 23, 2024 09:55 6m 9s
feat: update project tt_um_fp_mac from wilfredkisku/tt07_wilfred_fp_mac formal #82: Commit 7693b6b pushed by urish
May 23, 2024 08:47 5m 52s main
main
May 23, 2024 08:47 5m 52s
feat: update project tt_um_ccattuto_conway from ccattuto/tt07-conway-… formal #81: Commit e2f0a48 pushed by urish
May 23, 2024 08:47 5m 48s main
main
May 23, 2024 08:47 5m 48s
feat: update project tt_um_ejfogleman_smsdac8 from ejfogleman/tt07-ef… formal #80: Commit d831542 pushed by urish
May 23, 2024 03:36 5m 41s main
main
May 23, 2024 03:36 5m 41s
feat: update project tt_um_jorga20j_prng from jorga20j/8bit_PRNG formal #79: Commit eb0ce68 pushed by urish
May 22, 2024 20:52 5m 43s main
main
May 22, 2024 20:52 5m 43s
feat: update project tt_um_calonso88_74181 from calonso88/tt07_alu_74181 formal #78: Commit 2570e9a pushed by urish
May 22, 2024 20:01 5m 35s main
main
May 22, 2024 20:01 5m 35s
feat: update project tt_um_pongsagon_tiniest_gpu from pongsagon/tt07-… formal #77: Commit 22779dc pushed by urish
May 22, 2024 18:17 5m 49s main
main
May 22, 2024 18:17 5m 49s
feat: update project tt_um_drburke3_top from drburke3/FastMagnitudeCo… formal #76: Commit 0f7589b pushed by urish
May 22, 2024 17:01 5m 57s main
main
May 22, 2024 17:01 5m 57s
feat: update project tt_um_ccattuto_charmatrix from ccattuto/tt07-ser… formal #75: Commit 5d16b51 pushed by urish
May 22, 2024 13:50 6m 0s main
main
May 22, 2024 13:50 6m 0s