Skip to content

Actions: UPPAALModelChecker/utap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added fortification for macOS GH CI (#86) Darwin AppleClang #10: Commit 5b152db pushed by mikucionisaau
1m 8s v2.1.1-rc
v2.1.1-rc
1m 8s
Added fortification for macOS GH CI (#86) Ubuntu MinGW #10: Commit 5b152db pushed by mikucionisaau
2m 33s v2.1.1-rc
v2.1.1-rc
2m 33s
Added fortification for macOS GH CI (#86) Ubuntu GCC14 #10: Commit 5b152db pushed by mikucionisaau
3m 22s v2.1.1-rc
v2.1.1-rc
3m 22s
Added fortification for macOS GH CI (#86) Ubuntu Clang20 #10: Commit 5b152db pushed by mikucionisaau
1m 55s v2.1.1-rc
v2.1.1-rc
1m 55s
Added fortification for macOS GH CI (#86) Darwin Brew GCC15 #10: Commit 5b152db pushed by mikucionisaau
2m 32s v2.1.1-rc
v2.1.1-rc
2m 32s
Added library alias (#85) Darwin Brew GCC15 #9: Commit daefecd pushed by mikucionisaau
2m 8s v2.1.1
v2.1.1
2m 8s
Added library alias (#85) Ubuntu Clang20 #9: Commit daefecd pushed by mikucionisaau
2m 12s v2.1.1
v2.1.1
2m 12s
Added library alias (#85) Darwin AppleClang #9: Commit daefecd pushed by mikucionisaau
58s v2.1.1
v2.1.1
58s
Added library alias (#85) Ubuntu MinGW #9: Commit daefecd pushed by mikucionisaau
3m 26s v2.1.1
v2.1.1
3m 26s
Added library alias (#85) Ubuntu GCC14 #9: Commit daefecd pushed by mikucionisaau
1m 17s v2.1.1
v2.1.1
1m 17s
Added library alias (#85) Ubuntu GCC14 #8: Commit daefecd pushed by mikucionisaau
2m 53s main
main
2m 53s
Added library alias (#85) Darwin AppleClang #8: Commit daefecd pushed by mikucionisaau
1m 16s main
main
1m 16s
Added library alias (#85) Ubuntu MinGW #8: Commit daefecd pushed by mikucionisaau
3m 32s main
main
3m 32s
Added library alias (#85) Darwin Brew GCC15 #8: Commit daefecd pushed by mikucionisaau
1m 33s main
main
1m 33s
Added library alias (#85) Ubuntu Clang20 #8: Commit daefecd pushed by mikucionisaau
2m 1s main
main
2m 1s
Added library alias Ubuntu GCC14 #7: Pull request #85 opened by mikucionisaau
2m 21s mikucionisaau:cmake-target-alias
mikucionisaau:cmake-target-alias
2m 21s
Added library alias Darwin AppleClang #7: Pull request #85 opened by mikucionisaau
1m 3s mikucionisaau:cmake-target-alias
mikucionisaau:cmake-target-alias
1m 3s
Added library alias Ubuntu MinGW #7: Pull request #85 opened by mikucionisaau
3m 52s mikucionisaau:cmake-target-alias
mikucionisaau:cmake-target-alias
3m 52s
Added library alias Ubuntu Clang20 #7: Pull request #85 opened by mikucionisaau
2m 19s mikucionisaau:cmake-target-alias
mikucionisaau:cmake-target-alias
2m 19s
Added library alias Darwin Brew GCC15 #7: Pull request #85 opened by mikucionisaau
1m 23s mikucionisaau:cmake-target-alias
mikucionisaau:cmake-target-alias
1m 23s
Upgraded compilers to the latest available versions (#84) Darwin Brew GCC15 #6: Commit e6902b4 pushed by mikucionisaau
2m 3s v2.1.1
v2.1.1
2m 3s
Upgraded compilers to the latest available versions (#84) Ubuntu Clang20 #6: Commit e6902b4 pushed by mikucionisaau
2m 26s v2.1.1
v2.1.1
2m 26s
Upgraded compilers to the latest available versions (#84) Ubuntu GCC14 #6: Commit e6902b4 pushed by mikucionisaau
2m 44s v2.1.1
v2.1.1
2m 44s
Upgraded compilers to the latest available versions (#84) Ubuntu MinGW #6: Commit e6902b4 pushed by mikucionisaau
2m 5s v2.1.1
v2.1.1
2m 5s
Upgraded compilers to the latest available versions (#84) Darwin AppleClang #6: Commit e6902b4 pushed by mikucionisaau
1m 26s v2.1.1
v2.1.1
1m 26s