Skip to content

Actions: UPPAALModelChecker/utap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added leak sanitizer and refactored test for feature-checker Build and Test #266: Pull request #75 opened by mikucionisaau
April 11, 2024 11:34 3m 24s mikucionisaau:cleanup
mikucionisaau:cleanup
April 11, 2024 11:34 3m 24s
Let channel priorities disable SMC and concrete simulator Build and Test #265: Pull request #74 synchronize by thorulf4
January 26, 2024 10:32 2m 58s thorulf4:priorities_disable_concrete
thorulf4:priorities_disable_concrete
January 26, 2024 10:32 2m 58s
Let channel priorities disable SMC and concrete simulator Build and Test #264: Pull request #74 synchronize by thorulf4
January 23, 2024 10:22 2m 54s thorulf4:priorities_disable_concrete
thorulf4:priorities_disable_concrete
January 23, 2024 10:22 2m 54s
Let channel priorities disable SMC and concrete simulator Build and Test #263: Pull request #74 opened by thorulf4
January 22, 2024 15:17 51s thorulf4:priorities_disable_concrete
thorulf4:priorities_disable_concrete
January 22, 2024 15:17 51s
API cleanup Build and Test #262: Pull request #70 synchronize by mikucionisaau
September 25, 2023 11:44 4m 50s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
September 25, 2023 11:44 4m 50s
API cleanup Build and Test #261: Pull request #70 synchronize by mikucionisaau
September 22, 2023 14:12 6m 31s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
September 22, 2023 14:12 6m 31s
API cleanup Build and Test #260: Pull request #70 synchronize by mikucionisaau
September 22, 2023 13:02 6m 3s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
September 22, 2023 13:02 6m 3s
API cleanup Build and Test #259: Pull request #70 synchronize by mikucionisaau
September 22, 2023 12:52 2m 51s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
September 22, 2023 12:52 2m 51s
API cleanup Build and Test #258: Pull request #70 synchronize by mikucionisaau
September 22, 2023 12:51 1s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
September 22, 2023 12:51 1s
API cleanup Build and Test #257: Pull request #70 by mikucionisaau
September 22, 2023 12:49 Failure mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
September 22, 2023 12:49 Failure
API cleanup Build and Test #256: Pull request #70 synchronize by mikucionisaau
September 22, 2023 12:18 6m 7s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
September 22, 2023 12:18 6m 7s
API cleanup Build and Test #255: Pull request #70 opened by mikucionisaau
September 22, 2023 06:59 4m 20s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
September 22, 2023 06:59 4m 20s
Merge pr #69: version increment to 2.1.0 Build and Test #254: Commit 15acb20 pushed by mikucionisaau
September 21, 2023 14:32 4m 57s main
main
September 21, 2023 14:32 4m 57s
Version increment to 2.1.0 Build and Test #253: Pull request #69 opened by mikucionisaau
September 21, 2023 14:29 5m 2s mikucionisaau:version-2.1.0
mikucionisaau:version-2.1.0
September 21, 2023 14:29 5m 2s
Merge pr #67: upgrade libxml2-2.11.5 and its mirror Build and Test #252: Commit a571006 pushed by mikucionisaau
September 21, 2023 14:24 5m 40s main
main
September 21, 2023 14:24 5m 40s
ULS related changes to utap Build and Test #251: Pull request #68 opened by thorulf4
September 21, 2023 14:14 5m 14s thorulf4:rebased_lsp_changes
thorulf4:rebased_lsp_changes
September 21, 2023 14:14 5m 14s
Updated libxml2 to 2.11.5 and changed source to mirrors Build and Test #250: Pull request #67 synchronize by mikucionisaau
September 21, 2023 14:06 5m 59s libxml2-2.11.5
libxml2-2.11.5
September 21, 2023 14:06 5m 59s
Merge pr #65: added bounds query generalizing inf and sup in one check Build and Test #249: Commit bf88583 pushed by mikucionisaau
September 21, 2023 14:01 4m 44s main
main
September 21, 2023 14:01 4m 44s
Updated libxml2 to 2.11.5 and changed source to mirrors Build and Test #248: Pull request #67 opened by mikucionisaau
September 20, 2023 09:01 6m 11s libxml2-2.11.5
libxml2-2.11.5
September 20, 2023 09:01 6m 11s
Bounds query to generalize infimum and supremum Build and Test #247: Pull request #65 synchronize by mikucionisaau
September 20, 2023 05:49 4m 16s mikucionisaau:clock-union
mikucionisaau:clock-union
September 20, 2023 05:49 4m 16s
Merge pull request #66 from thorulf4/increment_version Build and Test #246: Commit 1914e39 pushed by thorulf4
September 18, 2023 11:41 3m 54s main
main
September 18, 2023 11:41 3m 54s
Increment version to 2.0.3 Build and Test #245: Pull request #66 opened by thorulf4
September 18, 2023 11:22 5m 32s thorulf4:increment_version
thorulf4:increment_version
September 18, 2023 11:22 5m 32s
Merge pull request #64 from thorulf4/ternary_operator_fix Build and Test #244: Commit 2ce8a89 pushed by thorulf4
September 18, 2023 11:09 4m 16s main
main
September 18, 2023 11:09 4m 16s
Fixed issue with type deduced expressions breaking ternary operators Build and Test #243: Pull request #64 synchronize by thorulf4
September 18, 2023 09:47 4m 42s thorulf4:ternary_operator_fix
thorulf4:ternary_operator_fix
September 18, 2023 09:47 4m 42s
Fixed issue with type deduced expressions breaking ternary operators Build and Test #242: Pull request #64 synchronize by thorulf4
September 18, 2023 08:32 4m 53s thorulf4:ternary_operator_fix
thorulf4:ternary_operator_fix
September 18, 2023 08:32 4m 53s