Skip to content

Actions: DEIS-Tools/strategoutil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #45 from DEIS-Tools/44-build-fails-for-python-37-o… build-and-test-crossplatform #115: Commit ec73b3d pushed by magoorden
June 13, 2024 09:00 1m 6s main
main
June 13, 2024 09:00 1m 6s
Fix 3.10 interpretation issue build-and-test-crossplatform #114: Commit df6773e pushed by magoorden
June 13, 2024 08:58 1m 3s 44-build-fails-for-python-37-on-macos
44-build-fails-for-python-37-on-macos
June 13, 2024 08:58 1m 3s
Add python 3.10 to build build-and-test-crossplatform #113: Commit 70dd307 pushed by magoorden
June 13, 2024 08:52 1m 22s 44-build-fails-for-python-37-on-macos
44-build-fails-for-python-37-on-macos
June 13, 2024 08:52 1m 22s
Exclude version 3.7 on macos build-and-test-crossplatform #112: Commit c186dd6 pushed by magoorden
June 13, 2024 08:48 59s 44-build-fails-for-python-37-on-macos
44-build-fails-for-python-37-on-macos
June 13, 2024 08:48 59s
Merge pull request #43 from DEIS-Tools/42-improve-error-reporting-whe… build-and-test-crossplatform #111: Commit 0668573 pushed by magoorden
June 13, 2024 08:42 1m 1s 44-build-fails-for-python-37-on-macos
44-build-fails-for-python-37-on-macos
June 13, 2024 08:42 1m 1s
Merge pull request #43 from DEIS-Tools/42-improve-error-reporting-whe… build-and-test-crossplatform #110: Commit 0668573 pushed by magoorden
June 13, 2024 08:41 1m 7s main
main
June 13, 2024 08:41 1m 7s
Fix test cases build-and-test-crossplatform #109: Commit 0a94ece pushed by magoorden
June 13, 2024 08:38 1m 24s 42-improve-error-reporting-when-uppaal-fails
42-improve-error-reporting-when-uppaal-fails
June 13, 2024 08:38 1m 24s
Add command for user to reproduce error locally in terminal build-and-test-crossplatform #108: Commit a748dd8 pushed by magoorden
June 13, 2024 08:33 1m 5s 42-improve-error-reporting-when-uppaal-fails
42-improve-error-reporting-when-uppaal-fails
June 13, 2024 08:33 1m 5s
Merge pull request #39 from DEIS-Tools/update-docs-installation-macos build-and-test-crossplatform #107: Commit 853e4d0 pushed by magoorden
June 13, 2024 06:58 55s 42-improve-error-reporting-when-uppaal-fails
42-improve-error-reporting-when-uppaal-fails
June 13, 2024 06:58 55s