Skip to content

Actions: uppaal-emf/uppaal-xtext

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #32 from gerking/main Build CI with Maven #58: Commit e476777 pushed by gerking
November 5, 2024 20:08 1m 41s main
main
November 5, 2024 20:08 1m 41s
Merge pull request #32 from gerking/main Test CI with Maven #40: Commit e476777 pushed by gerking
November 5, 2024 20:08 2m 2s main
main
November 5, 2024 20:08 2m 2s
Add scoping rules for queries (closes #31) Test CI with Maven #39: Pull request #32 opened by gerking
November 5, 2024 20:05 2m 3s gerking:main
gerking:main
November 5, 2024 20:05 2m 3s
Add scoping rules for queries (closes #31) Build CI with Maven #57: Pull request #32 opened by gerking
November 5, 2024 20:05 1m 36s gerking:main
gerking:main
November 5, 2024 20:05 1m 36s
Merge pull request #30 from gerking/main Test CI with Maven #38: Commit 1fd1442 pushed by gerking
November 5, 2024 16:02 2m 2s main
main
November 5, 2024 16:02 2m 2s
Merge pull request #30 from gerking/main Build CI with Maven #56: Commit 1fd1442 pushed by gerking
November 5, 2024 16:02 2m 6s main
main
November 5, 2024 16:02 2m 6s
Merge closing tags into single tokens as well (closes #20) Build CI with Maven #55: Pull request #30 opened by gerking
November 5, 2024 14:41 1m 37s gerking:main
gerking:main
November 5, 2024 14:41 1m 37s
Merge closing tags into single tokens as well (closes #20) Test CI with Maven #37: Pull request #30 opened by gerking
November 5, 2024 14:41 2m 34s gerking:main
gerking:main
November 5, 2024 14:41 2m 34s
Merge pull request #29 from gerking/main Test CI with Maven #36: Commit aa97b7f pushed by gerking
November 5, 2024 14:29 2m 7s main
main
November 5, 2024 14:29 2m 7s
Merge pull request #29 from gerking/main Build CI with Maven #54: Commit aa97b7f pushed by gerking
November 5, 2024 14:29 1m 47s main
main
November 5, 2024 14:29 1m 47s
Fix serialization of versions in document type definition (close #26) Test CI with Maven #35: Pull request #29 opened by gerking
November 5, 2024 13:47 2m 11s gerking:main
gerking:main
November 5, 2024 13:47 2m 11s
Fix serialization of versions in document type definition (close #26) Build CI with Maven #53: Pull request #29 opened by gerking
November 5, 2024 13:47 1m 46s gerking:main
gerking:main
November 5, 2024 13:47 1m 46s
Merge pull request #28 from gerking/main Build CI with Maven #52: Commit 6e98d3d pushed by gerking
November 2, 2024 15:23 1m 34s main
main
November 2, 2024 15:23 1m 34s
Merge pull request #28 from gerking/main Test CI with Maven #34: Commit 6e98d3d pushed by gerking
November 2, 2024 15:23 2m 25s main
main
November 2, 2024 15:23 2m 25s
Add support for newer XML files and queries with empty formulas/comments Test CI with Maven #33: Pull request #28 opened by gerking
November 2, 2024 13:11 2m 12s gerking:main
gerking:main
November 2, 2024 13:11 2m 12s
Add support for newer XML files and queries with empty formulas/comments Build CI with Maven #51: Pull request #28 opened by gerking
November 2, 2024 13:11 1m 37s gerking:main
gerking:main
November 2, 2024 13:11 1m 37s
Merge pull request #25 from gerking/main Test CI with Maven #32: Commit a8aa759 pushed by gerking
November 2, 2024 09:55 2m 5s main
main
November 2, 2024 09:55 2m 5s
Merge pull request #25 from gerking/main Build CI with Maven #50: Commit a8aa759 pushed by gerking
November 2, 2024 09:55 1m 53s main
main
November 2, 2024 09:55 1m 53s
Parse increment/decrement expressions and identifiable edges Test CI with Maven #31: Pull request #25 opened by gerking
November 2, 2024 09:30 1m 59s gerking:main
gerking:main
November 2, 2024 09:30 1m 59s
Parse increment/decrement expressions and identifiable edges Build CI with Maven #49: Pull request #25 opened by gerking
November 2, 2024 09:30 1m 30s gerking:main
gerking:main
November 2, 2024 09:30 1m 30s
Merge pull request #22 from gerking/main Build CI with Maven #48: Commit eb09efe pushed by gerking
November 1, 2024 20:00 1m 30s main
main
November 1, 2024 20:00 1m 30s
Merge pull request #22 from gerking/main Test CI with Maven #30: Commit eb09efe pushed by gerking
November 1, 2024 20:00 1m 46s main
main
November 1, 2024 20:00 1m 46s
Add test file (#11) Test CI with Maven #29: Pull request #22 opened by gerking
November 1, 2024 19:10 1m 58s gerking:main
gerking:main
November 1, 2024 19:10 1m 58s
Add test file (#11) Build CI with Maven #47: Pull request #22 opened by gerking
November 1, 2024 19:10 2m 2s gerking:main
gerking:main
November 1, 2024 19:10 2m 2s
Merge pull request #21 from gerking/main Build CI with Maven #46: Commit dc39018 pushed by gerking
November 1, 2024 17:54 1m 34s main
main
November 1, 2024 17:54 1m 34s