Skip to content

Actions: UPPAALModelChecker/utap

Actions

Darwin Brew GCC15

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
darwin-brew-gcc15.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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) Darwin Brew GCC15 #8: Commit daefecd pushed by mikucionisaau
1m 33s main
main
1m 33s
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
Coshy Darwin Brew GCC15 #5: Pull request #81 synchronize by mikucionisaau
2m 32s AstridHornBrorholt:coshy
AstridHornBrorholt:coshy
2m 32s
Coshy Darwin Brew GCC15 #4: Pull request #81 synchronize by mikucionisaau
2m 7s AstridHornBrorholt:coshy
AstridHornBrorholt:coshy
2m 7s
Upgraded compilers to the latest available versions (#84) Darwin Brew GCC15 #3: Commit e6902b4 pushed by mikucionisaau
2m 36s main
main
2m 36s
Upgraded compilers to the latest available versions Darwin Brew GCC15 #2: Pull request #84 synchronize by mikucionisaau
4m 21s mikucionisaau:compiler-upgrade
mikucionisaau:compiler-upgrade
4m 21s
Upgraded compilers to the latest available versions Darwin Brew GCC15 #1: Pull request #84 opened by mikucionisaau
38s mikucionisaau:compiler-upgrade
mikucionisaau:compiler-upgrade
38s