Static IP Setup Question

What is the problem?
I am trying to setup a static IP address for my Pi on a school setting. No access to the router, IT takes forever to help.

I cannot ping my DNS server on any computer, we do not use something like Google by default, we are using something like

I just need to:

  1. Confirm my static setup is ok

  2. Know how to check if my address is now static
    What did you already try to solve it?

Logs (syslog, dmesg, ... no logs, no support)

Here is my setup:
interface eth0
static_ip_address=10.136.25.162/24
static routers=10.136.25.1
static domain_name: I Used the default Pi one here, the actual DNS server is 10.136.0.26, however as I said i cannot reach that or the backup.

The setup seems to work, I am connected... will this be ok?

Additional information about your network (Hardware you are trying to connect to, hardware you are trying to connect from, router, access point, used operating systems, ...)

You don't need a domain name unless you want to access other systems in the local network (and you probably don't). I assume you have configured the local DNS server or some globally accessible one(s). You say this setup seems to work so I assume that is the case.

OctoPrint needs internet access for updates, plugin installs, etc.