merge origin/dev into feature branch

This commit is contained in:
Marek Wolan
2024-03-13 12:11:50 +00:00
39 changed files with 1921 additions and 1125 deletions

View File

@@ -22,14 +22,17 @@ io_settings:
game:
max_episode_length: 256
ports:
- ARP
- DNS
- HTTP
- POSTGRES_SERVER
protocols:
- ICMP
- TCP
- UDP
thresholds:
nmne:
high: 10
medium: 5
low: 0
agents:
- ref: client_2_green_user