Skip to content

Actions: herd/herdtools7

Actions

Test build with mininal versions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-opam-minimals.yml
142 workflow runs
142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test build with mininal versions Test build with mininal versions #147: Scheduled
8m 31s master
master
8m 31s
Test build with mininal versions Test build with mininal versions #146: Scheduled
8m 32s master
master
8m 32s
Test build with mininal versions Test build with mininal versions #145: Scheduled
5m 16s master
master
5m 16s
Test build with mininal versions Test build with mininal versions #144: Scheduled
5m 9s master
master
5m 9s
Test build with mininal versions Test build with mininal versions #143: Scheduled
7m 26s master
master
7m 26s
Test build with mininal versions Test build with mininal versions #142: Scheduled
5m 28s master
master
5m 28s
Test build with mininal versions Test build with mininal versions #140: Scheduled
9m 2s master
master
9m 2s
Test build with mininal versions Test build with mininal versions #139: Scheduled
7m 34s master
master
7m 34s
Test build with mininal versions Test build with mininal versions #138: Scheduled
9m 17s master
master
9m 17s
[herd-www] Support every Arm ARM release for all catalogues Test build with mininal versions #137: Pull request #1686 synchronize by TiberiuBucur
9m 12s TiberiuBucur:herd-www
TiberiuBucur:herd-www
9m 12s
[AARCH-24234,herd] Changes to the shareability for DMB and DSB Test build with mininal versions #136: Pull request #1691 synchronize by relokin
8m 49s relokin:aarch-24234
relokin:aarch-24234
8m 49s
[herd] New implementation of solve-regs Test build with mininal versions #135: Pull request #1694 opened by HadrienRenaud
9m 13s HadrienRenaud:new-solve-regs
HadrienRenaud:new-solve-regs
9m 13s
[herd-www] Support every Arm ARM release for all catalogues Test build with mininal versions #134: Pull request #1686 synchronize by TiberiuBucur
8m 53s TiberiuBucur:herd-www
TiberiuBucur:herd-www
8m 53s
[aarch64,MTE] Add Support for IRG Test build with mininal versions #131: Pull request #965 synchronize by yuxiliu-arm
8m 52s yuxiliu-arm:liu/irg
yuxiliu-arm:liu/irg
8m 52s
[ci] Fix typo in workflow file that triggered it all the time Test build with mininal versions #129: Pull request #1692 synchronize by HadrienRenaud
9m 25s HadrienRenaud:fix-typo-ci-minimals
HadrienRenaud:fix-typo-ci-minimals
9m 25s
[aarch64,MTE] Add Support for IRG Test build with mininal versions #128: Pull request #965 synchronize by yuxiliu-arm
9m 38s yuxiliu-arm:liu/irg
yuxiliu-arm:liu/irg
9m 38s
[AARCH-24234,herd] Changes to the shareability for DMB and DSB Test build with mininal versions #127: Pull request #1691 opened by relokin
5m 40s relokin:aarch-24234
relokin:aarch-24234
5m 40s
[herd,asl] Use a custom transitive closure in asl.cat Test build with mininal versions #126: Pull request #1690 opened by HadrienRenaud
7m 48s HadrienRenaud:new-transitive-closure
HadrienRenaud:new-transitive-closure
7m 48s
[gen] Rework on printing generated litmus tests Test build with mininal versions #125: Pull request #1582 synchronize by ShaleXIONG
9m 16s ShaleXIONG:fix-init
ShaleXIONG:fix-init
9m 16s
[herd,cat] Tentative ordering requirements for strengthening FEAT_ETS Test build with mininal versions #124: Pull request #1689 synchronize by artkhyzha
9m 15s artkhyzha:ets4
artkhyzha:ets4
9m 15s
[herd,cat] Tentative ordering requirements for strengthening FEAT_ETS Test build with mininal versions #123: Pull request #1689 opened by artkhyzha
9m 1s artkhyzha:ets4
artkhyzha:ets4
9m 1s
[asl][reference] removed wrong comment Test build with mininal versions #122: Pull request #1688 synchronize by Roman-Manevich
9m 12s asl-reference-expression-elsif-fix
asl-reference-expression-elsif-fix
9m 12s
[herd-www] Support every Arm ARM release for all catalogues Test build with mininal versions #121: Pull request #1686 synchronize by TiberiuBucur
9m 20s TiberiuBucur:herd-www
TiberiuBucur:herd-www
9m 20s
[asl][reference] removed wrong comment Test build with mininal versions #120: Pull request #1688 opened by Roman-Manevich
9m 17s asl-reference-expression-elsif-fix
asl-reference-expression-elsif-fix
9m 17s
[aslspec] typechecking and spec fixes Test build with mininal versions #119: Pull request #1681 synchronize by Roman-Manevich
9m 17s aslspec-type-inference
aslspec-type-inference
9m 17s