Merge pull request #18 from utwente-fmt/feature/update-github-actions #96

Triggered via push November 7, 2024 22:09

master

Status Success

Total duration 1m 47s

Artifacts 1

main.yml

on: push

Produced during runtime

Name	Size
test-results	55.8 KB