ci(agda): pin the Agda proofs job to ubuntu-24.04 - #445

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:

Actions workflow (codeql.yml)

• ❓  /language:actions

View all branch alerts.