fix(platform): wrong optimization_flags for Arduino 1.8.x #80

	name: STM32 Core build using arduino-cli
	on:
	push:
	branches:
	- main
	paths-ignore:
	- .github/**
	- '!.github/workflows/Arduino-build.yml'
	- '*.json'
	- '**.md'
	- keywords.txt
	- CI/**
	- '!CI/build/arduino-cli.py'
	- '!CI/build/examples/**'
	- cmake/**
	- tools/**
	pull_request:
	paths-ignore:
	- .github/**
	- '!.github/workflows/Arduino-build.yml'
	- '*.json'
	- '**.md'
	- keywords.txt
	- CI/**
	- '!CI/build/arduino-cli.py'
	- '!CI/build/examples/**'
	- cmake/**
	- tools/**
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:
	jobs:
	core_build:
	runs-on: ubuntu-latest
	name: Core compilation
	steps:
	# First of all, clone the repo using the checkout action.
	- name: Checkout
	uses: actions/checkout@main

	- name: Compilation
	id: Compile
	uses: stm32duino/actions/compile-examples@main
	with:
	additional-url: 'https://github.com/stm32duino/BoardManagerFiles/raw/dev/package_stmicroelectronics_index.json'

	# Use the output from the `Compile` step
	- name: Compilation Errors
	if: failure()
	run: \|
	cat ${{ steps.Compile.outputs.compile-result }}
	exit 1

Provide feedback