Skip to content

Actions: herd/herdtools7

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow run results
81 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[herd] Write a label to LR (X30) when it is possible build & make test #61: Pull request #776 synchronize by relokin
March 20, 2024 21:07 6m 9s relokin:linkreg_fix
relokin:linkreg_fix
March 20, 2024 21:07 6m 9s
[asl] Remove special cases in the interpreter build & make test #60: Pull request #811 opened by HadrienRenaud
March 20, 2024 14:02 6m 34s HadrienRenaud:remove-ugly-special-case-interpreter
HadrienRenaud:remove-ugly-special-case-interpreter
March 20, 2024 14:02 6m 34s
[litmus] Parse -variant self communication edges. build & make test #59: Pull request #810 opened by maranget
March 20, 2024 10:21 6m 10s lex-affinity
lex-affinity
March 20, 2024 10:21 6m 10s
[asl] Add branching event in choice operation build & make test #58: Pull request #786 synchronize by maranget
March 20, 2024 08:58 6m 15s asl-branch-event
asl-branch-event
March 20, 2024 08:58 6m 15s
Asl semantics roman build & make test #57: Pull request #805 synchronize by Roman-Manevich
March 19, 2024 23:23 6m 9s asl-semantics-roman
asl-semantics-roman
March 19, 2024 23:23 6m 9s
[litmus] Permit initializing shared-memory locations with labels build & make test #56: Pull request #809 synchronize by artkhyzha
March 19, 2024 16:20 6m 4s artkhyzha:ak-litmus-self
artkhyzha:ak-litmus-self
March 19, 2024 16:20 6m 4s
Asl semantics roman build & make test #55: Pull request #805 synchronize by Roman-Manevich
March 19, 2024 14:50 6m 12s asl-semantics-roman
asl-semantics-roman
March 19, 2024 14:50 6m 12s
[all]: Rework Neon load/store and load/store pair build & make test #54: Pull request #804 synchronize by murzinv
March 19, 2024 14:23 7m 16s murzinv:use-idx-for-neon
murzinv:use-idx-for-neon
March 19, 2024 14:23 7m 16s
[litmus] Permit initializing shared-memory locations with labels build & make test #53: Pull request #809 opened by artkhyzha
March 19, 2024 11:16 6m 14s artkhyzha:ak-litmus-self
artkhyzha:ak-litmus-self
March 19, 2024 11:16 6m 14s
Introduce basic support for SVE build & make test #52: Pull request #802 synchronize by murzinv
March 19, 2024 11:14 6m 28s murzinv:sve-basics
murzinv:sve-basics
March 19, 2024 11:14 6m 28s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #51: Pull request #733 synchronize by HadrienRenaud
March 19, 2024 10:58 6m 21s asl-carpenter
asl-carpenter
March 19, 2024 10:58 6m 21s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #50: Pull request #733 synchronize by HadrienRenaud
March 19, 2024 10:40 6m 8s asl-carpenter
asl-carpenter
March 19, 2024 10:40 6m 8s
Asl semantics roman build & make test #49: Pull request #805 synchronize by Roman-Manevich
March 19, 2024 08:33 5m 55s asl-semantics-roman
asl-semantics-roman
March 19, 2024 08:33 5m 55s
[all]: Rework Neon load/store and load/store pair build & make test #48: Pull request #804 synchronize by murzinv
March 18, 2024 16:14 6m 9s murzinv:use-idx-for-neon
murzinv:use-idx-for-neon
March 18, 2024 16:14 6m 9s
build & make test build & make test #47: Scheduled
March 18, 2024 01:49 6m 32s master
master
March 18, 2024 01:49 6m 32s
Asl semantics roman build & make test #46: Pull request #805 synchronize by Roman-Manevich
March 17, 2024 18:08 6m 29s asl-semantics-roman
asl-semantics-roman
March 17, 2024 18:08 6m 29s
Asl semantics roman build & make test #45: Pull request #805 synchronize by Roman-Manevich
March 17, 2024 18:06 6m 4s asl-semantics-roman
asl-semantics-roman
March 17, 2024 18:06 6m 4s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #44: Pull request #733 synchronize by HadrienRenaud
March 16, 2024 19:07 6m 57s asl-carpenter
asl-carpenter
March 16, 2024 19:07 6m 57s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #43: Pull request #733 synchronize by HadrienRenaud
March 16, 2024 18:34 5m 58s asl-carpenter
asl-carpenter
March 16, 2024 18:34 5m 58s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #42: Pull request #733 synchronize by HadrienRenaud
March 16, 2024 17:47 6m 1s asl-carpenter
asl-carpenter
March 16, 2024 17:47 6m 1s
Introduce basic support for SVE build & make test #41: Pull request #802 synchronize by murzinv
March 15, 2024 16:32 6m 38s murzinv:sve-basics
murzinv:sve-basics
March 15, 2024 16:32 6m 38s
[all]: Rework Neon load/store and load/store pair build & make test #40: Pull request #804 synchronize by murzinv
March 15, 2024 10:45 6m 23s murzinv:use-idx-for-neon
murzinv:use-idx-for-neon
March 15, 2024 10:45 6m 23s
[all] Ocamlformat pre-commit hook build & make test #39: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:38 6m 29s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:38 6m 29s
[all] Ocamlformat pre-commit hook Check format with `dune fmt` #5: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:38 3m 39s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:38 3m 39s
[all] Ocamlformat pre-commit hook build & make test #38: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:34 5m 59s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:34 5m 59s