Skip to content

Merge pull request #677 from uni-bremen-agst/676-diffcity #46

Merge pull request #677 from uni-bremen-agst/676-diffcity

Merge pull request #677 from uni-bremen-agst/676-diffcity #46

Triggered via push December 9, 2023 08:03
Status Cancelled
Total duration 2s
Artifacts

axivion.yml

on: push
Run Axivion CI
Run Axivion CI
Fit to window
Zoom out
Zoom in

Annotations

1 error
Axivion Suite
Canceling since a higher priority waiting request for 'refs/heads/master' exists