Skip to content

Actions: herd/herdtools7

Actions

build & make test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
make-test.yml
2,500+ workflow runs
2,500+ 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
[ASL-916] Try to fix build issues build & make test #4926: Pull request #1791 synchronize by hrutvik
5m 44s hrutvik:fix-build
hrutvik:fix-build
5m 44s
[herd] Add rmw to po, except for the model aarch64.cat build & make test #4925: Pull request #1803 synchronize by maranget
5m 14s fix-po-same-instruction
fix-po-same-instruction
5m 14s
[WIP] [gen] Update baseline configuration for rmw build & make test #4924: Pull request #1578 synchronize by ShaleXIONG
5m 33s ShaleXIONG:chase-review
ShaleXIONG:chase-review
5m 33s
[WIP][gen] Remove locally-order-before in baseline configuration file. build & make test #4923: Pull request #1665 synchronize by ShaleXIONG
5m 18s ShaleXIONG:config-remove-local-order-before-dependency
ShaleXIONG:config-remove-local-order-before-dependency
5m 18s
[catalogue] Introduce ETS3 tests build & make test #4922: Pull request #1802 synchronize by diaolo01
5m 33s diaolo01:ets3-cata
diaolo01:ets3-cata
5m 33s
[tools] AARCH-25405: Clarification οf the IC-Coherence-before and Instruction-read-ordered-before definitions build & make test #4921: Pull request #1788 synchronize by TiberiuBucur
4m 51s TiberiuBucur:AARCH-25405
TiberiuBucur:AARCH-25405
4m 51s
[tools] AARCH-25405: Clarification οf the IC-Coherence-before and Instruction-read-ordered-before definitions build & make test #4920: Pull request #1788 synchronize by TiberiuBucur
13s TiberiuBucur:AARCH-25405
TiberiuBucur:AARCH-25405
13s
[WIP][gen] Remove locally-order-before in baseline configuration file. build & make test #4919: Pull request #1665 synchronize by ShaleXIONG
5m 19s ShaleXIONG:config-remove-local-order-before-dependency
ShaleXIONG:config-remove-local-order-before-dependency
5m 19s
[WIP][gen] Remove locally-order-before in baseline configuration file. build & make test #4918: Pull request #1665 synchronize by ShaleXIONG
5m 26s ShaleXIONG:config-remove-local-order-before-dependency
ShaleXIONG:config-remove-local-order-before-dependency
5m 26s
[WIP][gen] Remove locally-order-before in baseline configuration file. build & make test #4917: Pull request #1665 synchronize by ShaleXIONG
5m 28s ShaleXIONG:config-remove-local-order-before-dependency
ShaleXIONG:config-remove-local-order-before-dependency
5m 28s
[AARCH-24800,herd] Ordering semantics for Load instructions whose destination register is WZR/XZR build & make test #4916: Pull request #1698 synchronize by relokin
4m 45s relokin:aarch-24800
relokin:aarch-24800
4m 45s
[catalogue] Introduce ETS3 tests build & make test #4915: Pull request #1802 synchronize by diaolo01
5m 6s diaolo01:ets3-cata
diaolo01:ets3-cata
5m 6s
[herd] Introduce basic support for AArch64 Guarded Control Stack build & make test #4914: Pull request #1507 synchronize by murzinv
5m 29s murzinv:gcs
murzinv:gcs
5m 29s
[litmus] Enable check_dic_idc for PreSi and Kvm modes build & make test #4913: Pull request #1727 synchronize by diaolo01
5m 10s diaolo01:fix-dic-idc
diaolo01:fix-dic-idc
5m 10s
[herd] Fix placement of po edges in dot graphs build & make test #4912: Pull request #1808 synchronize by fsestini
5m 9s fsestini:fix-po-graphs
fsestini:fix-po-graphs
5m 9s
build & make test build & make test #4911: Scheduled
5m 10s master
master
5m 10s
[gen] Align diy filter handling for same-location Po edges build & make test #4910: Pull request #1787 synchronize by ShaleXIONG
5m 11s ShaleXIONG:filter-rfi-powwr
ShaleXIONG:filter-rfi-powwr
5m 11s
[tools] Preserve negated miaou list wrapper build & make test #4909: Pull request #1768 synchronize by relokin
5m 16s relokin:miaou-fix
relokin:miaou-fix
5m 16s
[herd] Fix placement of po edges in dot graphs build & make test #4908: Pull request #1808 synchronize by fsestini
5m 12s fsestini:fix-po-graphs
fsestini:fix-po-graphs
5m 12s
[catalogue] Introduce ETS3 tests build & make test #4907: Pull request #1802 synchronize by diaolo01
5m 10s diaolo01:ets3-cata
diaolo01:ets3-cata
5m 10s
[herd] Fix placement of po edges in dot graphs build & make test #4906: Pull request #1808 synchronize by fsestini
5m 9s fsestini:fix-po-graphs
fsestini:fix-po-graphs
5m 9s
[herd] Fix placement of po edges in dot graphs build & make test #4905: Pull request #1808 opened by fsestini
5m 4s fsestini:fix-po-graphs
fsestini:fix-po-graphs
5m 4s
[herd] Event Register Semantics build & make test #4904: Pull request #1777 synchronize by RaghavRoy145
Action required RaghavRoy145:event-register
RaghavRoy145:event-register
Action required
[herd] Event Register Semantics build & make test #4903: Pull request #1777 synchronize by RaghavRoy145
Action required RaghavRoy145:event-register
RaghavRoy145:event-register
Action required
[herd] Event Register Semantics build & make test #4902: Pull request #1777 synchronize by RaghavRoy145
Action required RaghavRoy145:event-register
RaghavRoy145:event-register
Action required