Skip to content

Actions: UPPAALModelChecker/utap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed clang-tidy modernization issues (#77) Build and Test #303: Commit 1f60c86 pushed by mikucionisaau
May 12, 2025 15:21 9m 0s main
main
May 12, 2025 15:21 9m 0s
Fixed clang-tidy modernization issues Build and Test #302: Pull request #77 synchronize by mikucionisaau
May 12, 2025 15:17 3m 2s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 15:17 3m 2s
Fixed clang-tidy modernization issues Build and Test #301: Pull request #77 synchronize by mikucionisaau
May 12, 2025 15:13 3m 21s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 15:13 3m 21s
Fixed clang-tidy modernization issues Build and Test #300: Pull request #77 synchronize by mikucionisaau
May 12, 2025 15:00 3m 10s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 15:00 3m 10s
Fixed clang-tidy modernization issues Build and Test #299: Pull request #77 synchronize by mikucionisaau
May 12, 2025 14:46 5m 10s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 14:46 5m 10s
Fixed clang-tidy modernization issues Build and Test #298: Pull request #77 synchronize by mikucionisaau
May 12, 2025 14:33 3m 5s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 14:33 3m 5s
Fixed clang-tidy modernization issues Build and Test #297: Pull request #77 synchronize by mikucionisaau
May 12, 2025 14:23 1m 44s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 14:23 1m 44s
Fixed clang-tidy modernization issues Build and Test #296: Pull request #77 synchronize by mikucionisaau
May 12, 2025 14:18 2m 46s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 14:18 2m 46s
Fixed clang-tidy modernization issues Build and Test #295: Pull request #77 synchronize by mikucionisaau
May 12, 2025 13:07 1m 18s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 13:07 1m 18s
Fixed clang-tidy modernization issues Build and Test #294: Pull request #77 synchronize by mikucionisaau
May 12, 2025 13:04 3m 26s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 13:04 3m 26s
Fixed clang-tidy modernization issues Build and Test #293: Pull request #77 synchronize by mikucionisaau
May 12, 2025 12:59 23s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
May 12, 2025 12:59 23s
Typecheck fn calls Build and Test #292: Pull request #79 opened by mikucionisaau
February 14, 2025 13:29 19s mikucionisaau:typecheck-fn-calls
mikucionisaau:typecheck-fn-calls
February 14, 2025 13:29 19s
Split variable access into potential and surely Build and Test #291: Pull request #78 opened by mikucionisaau
September 9, 2024 14:36 4m 16s mikucionisaau:sure-write
mikucionisaau:sure-write
September 9, 2024 14:36 4m 16s
Fixed clang-tidy modernization issues Build and Test #290: Pull request #77 synchronize by mikucionisaau
September 9, 2024 06:59 4m 22s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
September 9, 2024 06:59 4m 22s
Fixed clang-tidy modernization issues Build and Test #289: Pull request #77 synchronize by mikucionisaau
August 30, 2024 14:56 3m 35s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
August 30, 2024 14:56 3m 35s
Fixed clang-tidy modernization issues Build and Test #288: Pull request #77 synchronize by mikucionisaau
August 30, 2024 14:15 3m 23s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
August 30, 2024 14:15 3m 23s
Fixed clang-tidy modernization issues Build and Test #287: Pull request #77 synchronize by mikucionisaau
August 30, 2024 14:12 3m 17s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
August 30, 2024 14:12 3m 17s
Fixed clang-tidy modernization issues Build and Test #286: Pull request #77 opened by mikucionisaau
August 30, 2024 14:06 3m 24s mikucionisaau:fix-linting-errors
mikucionisaau:fix-linting-errors
August 30, 2024 14:06 3m 24s
API cleanup Build and Test #285: Pull request #70 synchronize by mikucionisaau
May 2, 2024 10:04 2m 24s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
May 2, 2024 10:04 2m 24s
API cleanup Build and Test #284: Pull request #70 synchronize by mikucionisaau
May 2, 2024 09:44 2m 51s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
May 2, 2024 09:44 2m 51s
API cleanup Build and Test #283: Pull request #70 synchronize by mikucionisaau
May 2, 2024 09:28 3m 59s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
May 2, 2024 09:28 3m 59s
API cleanup Build and Test #282: Pull request #70 synchronize by mikucionisaau
April 12, 2024 15:23 4m 32s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
April 12, 2024 15:23 4m 32s
API cleanup Build and Test #281: Pull request #70 synchronize by mikucionisaau
April 12, 2024 15:16 2m 9s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
April 12, 2024 15:16 2m 9s
API cleanup Build and Test #280: Pull request #70 synchronize by mikucionisaau
April 12, 2024 15:01 8m 51s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
April 12, 2024 15:01 8m 51s
API cleanup Build and Test #279: Pull request #70 synchronize by mikucionisaau
April 12, 2024 14:29 5m 26s mikucionisaau:api-cleanup
mikucionisaau:api-cleanup
April 12, 2024 14:29 5m 26s