Skip to content

Actions: UPPAALModelChecker/uppaal-libs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added library example for double arrays Build #52: Pull request #13 synchronize by mikucionisaau
April 4, 2024 16:35 2m 5s error-refactor
error-refactor
April 4, 2024 16:35 2m 5s
Added library example for double arrays Build #51: Pull request #13 synchronize by mikucionisaau
April 4, 2024 16:23 52s error-refactor
error-refactor
April 4, 2024 16:23 52s
Added library example for double arrays Build #50: Pull request #13 synchronize by mikucionisaau
April 4, 2024 15:22 1m 37s error-refactor
error-refactor
April 4, 2024 15:22 1m 37s
Added library example for double arrays Build #49: Pull request #13 synchronize by mikucionisaau
April 4, 2024 15:17 1m 43s error-refactor
error-refactor
April 4, 2024 15:17 1m 43s
Added library example for double arrays Build #48: Pull request #13 synchronize by mikucionisaau
April 4, 2024 14:06 2m 28s error-refactor
error-refactor
April 4, 2024 14:06 2m 28s
Added library example for double arrays Build #47: Pull request #13 synchronize by mikucionisaau
April 4, 2024 13:56 1m 6s error-refactor
error-refactor
April 4, 2024 13:56 1m 6s
Added library example for double arrays Build #46: Pull request #13 opened by mikucionisaau
April 4, 2024 13:53 40s error-refactor
error-refactor
April 4, 2024 13:53 40s
Build Build #45: Manually run by mikucionisaau
December 7, 2023 11:44 7m 7s self-hosted
self-hosted
December 7, 2023 11:44 7m 7s
Simplified compile.sh so that bash-3/MacOS can understand it Release #17: Commit 1b69d68 pushed by mikucionisaau
September 5, 2023 08:36 2m 13s v1.2.2
v1.2.2
September 5, 2023 08:36 2m 13s
Merge pr #11 to fix brew test crashing by disabling sanitizers Release #16: Commit 98f9baa pushed by mikucionisaau
September 5, 2023 08:19 2m 4s v1.2.1
v1.2.1
September 5, 2023 08:19 2m 4s
Added draft release scripts Create Release #6: Commit 596518d pushed by mikucionisaau
September 5, 2023 08:19 18s vFake2
vFake2
September 5, 2023 08:19 18s
Added draft release scripts Upload Release Assets #9: Commit 596518d pushed by mikucionisaau
September 5, 2023 08:19 33s vFake2
vFake2
September 5, 2023 08:19 33s
Attempt to fix uplodat action script Create Release #5: Commit ea4970d pushed by mikucionisaau
September 5, 2023 08:19 12s vFake3
vFake3
September 5, 2023 08:19 12s
Attempt to fix uplodat action script Upload Release Assets #8: Commit ea4970d pushed by mikucionisaau
September 5, 2023 08:19 37s vFake3
vFake3
September 5, 2023 08:19 37s
Merge pr #11 to fix brew test crashing by disabling sanitizers Build #44: Commit 98f9baa pushed by mikucionisaau
September 5, 2023 08:16 2m 26s main
main
September 5, 2023 08:16 2m 26s
Fix test crash on MacOS by disabling sanitizers on brew targets Build #43: Pull request #11 synchronize by mikucionisaau
September 5, 2023 08:05 3m 1s fix-macos-crash
fix-macos-crash
September 5, 2023 08:05 3m 1s
Fix test crash on MacOS by disabling sanitizers on brew targets Build #42: Pull request #11 ready_for_review by mikucionisaau
September 5, 2023 07:54 1m 17s fix-macos-crash
fix-macos-crash
September 5, 2023 07:54 1m 17s
Fix test crash on MacOS by disabling sanitizers on brew targets Build #41: Pull request #11 synchronize by mikucionisaau
September 5, 2023 07:54 27s fix-macos-crash
fix-macos-crash
September 5, 2023 07:54 27s
Fix test crash on MacOS by disabling sanitizers on brew targets Build #40: Pull request #11 synchronize by mikucionisaau
September 5, 2023 07:29 2m 17s fix-macos-crash
fix-macos-crash
September 5, 2023 07:29 2m 17s
Fix test crash on MacOS by disabling sanitizers on brew targets Build #39: Pull request #11 opened by mikucionisaau
September 5, 2023 06:58 2m 43s fix-macos-crash
fix-macos-crash
September 5, 2023 06:58 2m 43s