Skip to content

Actions: UPPAALModelChecker/UUtils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pr #19: fixed cmake installation scripts Build and Test #93: Commit 1d365d3 pushed by mikucionisaau
September 11, 2023 08:25 4m 46s main
main
September 11, 2023 08:25 4m 46s
Fix cmake installation scripts Build and Test #92: Pull request #19 synchronize by mikucionisaau
September 11, 2023 08:13 3m 39s mikucionisaau:fix-xxhash-cmake
mikucionisaau:fix-xxhash-cmake
September 11, 2023 08:13 3m 39s
Fix cmake installation scripts Build and Test #91: Pull request #19 opened by mikucionisaau
September 11, 2023 07:51 8m 52s mikucionisaau:fix-xxhash-cmake
mikucionisaau:fix-xxhash-cmake
September 11, 2023 07:51 8m 52s
Merge pr #18: version increment to 2.0.0 Build and Test #90: Commit c4cabda pushed by mikucionisaau
September 8, 2023 08:03 6m 10s main
main
September 8, 2023 08:03 6m 10s
Version increment to 2.0.0 Build and Test #89: Pull request #18 opened by mikucionisaau
September 8, 2023 07:51 4m 22s version-2.0.0
version-2.0.0
September 8, 2023 07:51 4m 22s
Merge pr #17: refactor build system to fetch the dependencies in vari… Build and Test #88: Commit 72d4d6c pushed by mikucionisaau
August 31, 2023 09:38 3m 42s main
main
August 31, 2023 09:38 3m 42s
Refactor build system to use cmake to fetch dependencies Build and Test #87: Pull request #17 synchronize by mikucionisaau
August 31, 2023 08:29 4m 4s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 31, 2023 08:29 4m 4s
Refactor build system to use cmake to fetch dependencies Build and Test #86: Pull request #17 synchronize by mikucionisaau
August 31, 2023 07:51 4m 13s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 31, 2023 07:51 4m 13s
Refactor build system to use cmake to fetch dependencies Build and Test #85: Pull request #17 synchronize by mikucionisaau
August 31, 2023 07:09 4m 25s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 31, 2023 07:09 4m 25s
Refactor build system to use cmake to fetch dependencies Build and Test #84: Pull request #17 synchronize by mikucionisaau
August 31, 2023 06:45 4m 56s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 31, 2023 06:45 4m 56s
Refactor build system to use cmake to fetch dependencies Build and Test #83: Pull request #17 synchronize by mikucionisaau
August 31, 2023 06:43 1m 13s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 31, 2023 06:43 1m 13s
Refactor build system to use cmake to fetch dependencies Build and Test #82: Pull request #17 synchronize by mikucionisaau
August 30, 2023 12:06 3m 46s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 12:06 3m 46s
Refactor build system to use cmake to fetch dependencies Build and Test #81: Pull request #17 synchronize by mikucionisaau
August 30, 2023 11:11 4m 8s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 11:11 4m 8s
Refactor build system to use cmake to fetch dependencies Build and Test #80: Pull request #17 synchronize by mikucionisaau
August 30, 2023 11:05 4m 28s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 11:05 4m 28s
Refactor build system to use cmake to fetch dependencies Build and Test #79: Pull request #17 synchronize by mikucionisaau
August 30, 2023 09:17 4m 43s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 09:17 4m 43s
Refactor build system to use cmake to fetch dependencies Build and Test #78: Pull request #17 synchronize by mikucionisaau
August 30, 2023 07:38 6m 21s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 07:38 6m 21s
Refactor build system to use cmake to fetch dependencies Build and Test #77: Pull request #17 synchronize by mikucionisaau
August 30, 2023 07:23 5m 7s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 07:23 5m 7s
Refactor build system to use cmake to fetch dependencies Build and Test #76: Pull request #17 synchronize by mikucionisaau
August 30, 2023 07:03 2m 36s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 07:03 2m 36s
Refactor build system to use cmake to fetch dependencies Build and Test #75: Pull request #17 by mikucionisaau
August 30, 2023 07:02 Failure mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 07:02 Failure
Refactor build system to use cmake to fetch dependencies Build and Test #74: Pull request #17 synchronize by mikucionisaau
August 30, 2023 06:52 6m 12s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 06:52 6m 12s
Refactor build system to use cmake to fetch dependencies Build and Test #73: Pull request #17 by mikucionisaau
August 30, 2023 06:51 Failure mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 06:51 Failure
Refactor build system to use cmake to fetch dependencies Build and Test #72: Pull request #17 synchronize by mikucionisaau
August 30, 2023 06:42 4m 36s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 06:42 4m 36s
Refactor build system to use cmake to fetch dependencies Build and Test #71: Pull request #17 synchronize by mikucionisaau
August 30, 2023 06:00 6m 31s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 06:00 6m 31s
Refactor build system to use cmake to fetch dependencies Build and Test #70: Pull request #17 synchronize by mikucionisaau
August 30, 2023 05:41 11m 5s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 05:41 11m 5s
Refactor build system to use cmake to fetch dependencies Build and Test #69: Pull request #17 synchronize by mikucionisaau
August 30, 2023 04:37 13m 23s mikucionisaau:file_ostream
mikucionisaau:file_ostream
August 30, 2023 04:37 13m 23s