ci: Add Tcl linting, update `pulp-actions` - Githubissues

pulp-platform / cheshire

A minimal Linux-capable 64-bit RISC-V SoC built around CVA6

Other

190 stars 42 forks source link

ci: Add Tcl linting, update `pulp-actions` #131

Closed paulsc96 closed 3 months ago

paulsc96 commented 3 months ago

Add tclint to CI.
Clean up Tcl files to adhere to chosen lint config.
Update pulp-actions to newest version.
Update nonfree CI to improve FPGA management.