Skip to content

Actions: herd/herdtools7

Actions

build & make test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
make-test.yml
1,050 workflow runs
1,050 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Asl semantics roman build & make test #100: Pull request #805 synchronize by Roman-Manevich
March 27, 2024 13:16 6m 59s asl-semantics-roman
asl-semantics-roman
March 27, 2024 13:16 6m 59s
[all] Ocamlformat pre-commit hook build & make test #99: Pull request #785 synchronize by HadrienRenaud
March 27, 2024 12:06 5m 54s pre-commit-ocamlformat
pre-commit-ocamlformat
March 27, 2024 12:06 5m 54s
[all] Ocamlformat pre-commit hook build & make test #98: Pull request #785 synchronize by HadrienRenaud
March 27, 2024 12:04 6m 54s pre-commit-ocamlformat
pre-commit-ocamlformat
March 27, 2024 12:04 6m 54s
[asl] get and set fields to call build & make test #97: Pull request #814 synchronize by maranget
March 27, 2024 08:59 6m 42s asl-getfields-to-call
asl-getfields-to-call
March 27, 2024 08:59 6m 42s
Asl semantics roman build & make test #96: Pull request #805 synchronize by Roman-Manevich
March 26, 2024 20:40 5m 53s asl-semantics-roman
asl-semantics-roman
March 26, 2024 20:40 5m 53s
[asl] get and set fields to call build & make test #95: Pull request #814 synchronize by maranget
March 26, 2024 19:59 6m 18s asl-getfields-to-call
asl-getfields-to-call
March 26, 2024 19:59 6m 18s
[asl] get and set fields to call build & make test #94: Pull request #814 synchronize by maranget
March 26, 2024 19:54 5m 53s asl-getfields-to-call
asl-getfields-to-call
March 26, 2024 19:54 5m 53s
[litmus] Permit initializing shared-memory locations with labels build & make test #93: Pull request #809 synchronize by artkhyzha
March 26, 2024 18:16 7m 1s artkhyzha:ak-litmus-self
artkhyzha:ak-litmus-self
March 26, 2024 18:16 7m 1s
[litmus] Permit initializing shared-memory locations with labels build & make test #92: Pull request #809 synchronize by artkhyzha
March 26, 2024 18:13 6m 9s artkhyzha:ak-litmus-self
artkhyzha:ak-litmus-self
March 26, 2024 18:13 6m 9s
[litmus] Permit initializing shared-memory locations with labels build & make test #91: Pull request #809 synchronize by artkhyzha
March 26, 2024 18:07 7m 4s artkhyzha:ak-litmus-self
artkhyzha:ak-litmus-self
March 26, 2024 18:07 7m 4s
[asl] get and set fields to call build & make test #90: Pull request #814 opened by maranget
March 26, 2024 14:37 6m 22s asl-getfields-to-call
asl-getfields-to-call
March 26, 2024 14:37 6m 22s
Asl semantics roman build & make test #89: Pull request #805 synchronize by Roman-Manevich
March 26, 2024 14:14 6m 37s asl-semantics-roman
asl-semantics-roman
March 26, 2024 14:14 6m 37s
Introduce basic support for SVE build & make test #88: Pull request #802 synchronize by murzinv
March 26, 2024 10:15 6m 27s murzinv:sve-basics
murzinv:sve-basics
March 26, 2024 10:15 6m 27s
Asl semantics roman build & make test #87: Pull request #805 synchronize by Roman-Manevich
March 25, 2024 21:24 6m 10s asl-semantics-roman
asl-semantics-roman
March 25, 2024 21:24 6m 10s
[herd]: Fix address generation for STG, LDG and friends build & make test #86: Pull request #812 opened by murzinv
March 25, 2024 16:25 6m 29s murzinv:fix-memtag-address
murzinv:fix-memtag-address
March 25, 2024 16:25 6m 29s
Asl semantics roman build & make test #85: Pull request #805 synchronize by Roman-Manevich
March 25, 2024 15:34 6m 10s asl-semantics-roman
asl-semantics-roman
March 25, 2024 15:34 6m 10s
Asl semantics roman build & make test #84: Pull request #805 synchronize by Roman-Manevich
March 25, 2024 12:55 6m 33s asl-semantics-roman
asl-semantics-roman
March 25, 2024 12:55 6m 33s
build & make test build & make test #83: Scheduled
March 25, 2024 01:51 6m 37s master
master
March 25, 2024 01:51 6m 37s
Asl semantics roman build & make test #82: Pull request #805 synchronize by Roman-Manevich
March 23, 2024 20:33 5m 55s asl-semantics-roman
asl-semantics-roman
March 23, 2024 20:33 5m 55s
Asl semantics roman build & make test #81: Pull request #805 synchronize by Roman-Manevich
March 23, 2024 15:52 6m 22s asl-semantics-roman
asl-semantics-roman
March 23, 2024 15:52 6m 22s
Introduce basic support for SVE build & make test #80: Pull request #802 synchronize by murzinv
March 22, 2024 09:50 6m 36s murzinv:sve-basics
murzinv:sve-basics
March 22, 2024 09:50 6m 36s
Asl semantics roman build & make test #79: Pull request #805 synchronize by Roman-Manevich
March 21, 2024 18:09 6m 3s asl-semantics-roman
asl-semantics-roman
March 21, 2024 18:09 6m 3s
[all] Ocamlformat pre-commit hook build & make test #78: Pull request #785 synchronize by HadrienRenaud
March 21, 2024 18:02 6m 8s pre-commit-ocamlformat
pre-commit-ocamlformat
March 21, 2024 18:02 6m 8s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #77: Pull request #733 synchronize by HadrienRenaud
March 21, 2024 17:23 5m 52s asl-carpenter
asl-carpenter
March 21, 2024 17:23 5m 52s
[asl] Check type validity on user input build & make test #76: Pull request #799 synchronize by HadrienRenaud
March 21, 2024 17:23 6m 6s asl-valid-types
asl-valid-types
March 21, 2024 17:23 6m 6s
ProTip! You can narrow down the results and go further in time using created:<2024-03-21 or the other filters available.