Skip to content

Actions: hernanponcedeleon/Dat3M

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven.yml
1,133 workflow runs
1,133 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ModifierTrait Build #4421: Pull request #1008 synchronize by xeren
47m 51s alias-modifiertrait
alias-modifiertrait
47m 51s
Build Build #4420: Scheduled
2h 39m 3s master
master
2h 39m 3s
ModifierTrait Build #4419: Pull request #1008 synchronize by xeren
42m 8s alias-modifiertrait
alias-modifiertrait
42m 8s
Prepare for next release cycle (#1028) Build #4418: Commit ad14351 pushed by hernanponcedeleon
45m 7s development
development
45m 7s
Build Build #4417: Scheduled
2h 36m 17s master
master
2h 36m 17s
Prepare for next release cycle Build #4416: Pull request #1028 opened by hernanponcedeleon
47m 59s 4.5.0
4.5.0
47m 59s
Release version 4.4.0 (#1027) Build #4415: Commit 094c38f pushed by hernanponcedeleon
47m 32s master
master
47m 32s
Release version 4.4.0 (#1027) Build #4414: Commit 094c38f pushed by hernanponcedeleon
46m 19s development
development
46m 19s
Release version 4.4.0 Build #4413: Pull request #1027 opened by hernanponcedeleon
46m 0s release
release
46m 0s
Optimize encodings of coherence and acyclicity (mostly IDL) Build #4412: Pull request #1015 synchronize by ThomasHaas
48m 58s optimizeIDLEncodings
optimizeIDLEncodings
48m 58s
ModifierTrait Build #4411: Pull request #1008 synchronize by xeren
54m 20s alias-modifiertrait
alias-modifiertrait
54m 20s
ModifierTrait Build #4410: Pull request #1008 synchronize by xeren
1m 25s alias-modifiertrait
alias-modifiertrait
1m 25s
Build Build #4409: Scheduled
2h 18m 11s master
master
2h 18m 11s
Fix logging of program path (#1025) Build #4408: Commit 0372883 pushed by hernanponcedeleon
43m 8s development
development
43m 8s
Fix logging of program path Build #4407: Pull request #1025 synchronize by hernanponcedeleon
46m 40s log-program-path
log-program-path
46m 40s
Fix logging of program path Build #4406: Pull request #1025 synchronize by hernanponcedeleon
40m 14s log-program-path
log-program-path
40m 14s
Fix logging of program path Build #4405: Pull request #1025 synchronize by hernanponcedeleon
50m 44s log-program-path
log-program-path
50m 44s
Remove awt dependency in ColorMap (#1023) Build #4404: Commit 09668db pushed by hernanponcedeleon
43m 39s development
development
43m 39s
Fix logging of program path Build #4403: Pull request #1025 opened by hernanponcedeleon
43m 0s log-program-path
log-program-path
43m 0s
Remove awt dependency in ColorMap Build #4402: Pull request #1023 synchronize by hernanponcedeleon
39m 44s awt
awt
39m 44s
Removed support for deprecated sv-witness v1 (graphml) (#1024) Build #4401: Commit 336c14a pushed by hernanponcedeleon
48m 0s development
development
48m 0s
Remove awt dependency in ColorMap Build #4400: Pull request #1023 synchronize by hernanponcedeleon
48m 11s awt
awt
48m 11s
Remove awt dependency in ColorMap Build #4399: Pull request #1023 synchronize by hernanponcedeleon
3m 24s awt
awt
3m 24s
Remove awt dependency in ColorMap Build #4398: Pull request #1023 synchronize by hernanponcedeleon
57s awt
awt
57s
Remove awt dependency in ColorMap Build #4397: Pull request #1023 synchronize by hernanponcedeleon
14m 13s awt
awt
14m 13s