[Warzone2100-commits] [Warzone2100/WMIT] 3249de: Update CI_ubuntu.yml

[pastdue via Warzone2100-commits]

  Branch: refs/heads/ci-updates-1
  Home:   https://github.com/Warzone2100/WMIT
  Commit: 3249dec948dcebbacb7665153f8dc57b089719b9
      
https://github.com/Warzone2100/WMIT/commit/3249dec948dcebbacb7665153f8dc57b089719b9
  Author: pastdue <30942300+past-...@users.noreply.github.com>
  Date:   2022-10-22 (Sat, 22 Oct 2022)

  Changed paths:
    M .github/workflows/CI_ubuntu.yml

  Log Message:
  -----------
  Update CI_ubuntu.yml




_______________________________________________
Warzone2100-commits mailing list
Warzone2100-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/warzone2100-commits