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-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 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
[all] Ocamlformat pre-commit hook build & make test #37: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:32 6m 6s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:32 6m 6s
[all] Ocamlformat pre-commit hook build & make test #36: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:31 6m 10s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:31 6m 10s
[all] Ocamlformat pre-commit hook build & make test #35: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:28 6m 4s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:28 6m 4s
[asl-test] Some ASL tests build & make test #34: Pull request #757 synchronize by HadrienRenaud
March 14, 2024 11:54 6m 30s asl-tutorial
asl-tutorial
March 14, 2024 11:54 6m 30s
[asl-test] Some ASL tests build & make test #33: Pull request #757 synchronize by HadrienRenaud
March 14, 2024 11:45 4m 44s asl-tutorial
asl-tutorial
March 14, 2024 11:45 4m 44s
[asl] fix unwanted conversions into bitvectors. build & make test #32: Pull request #808 synchronize by HadrienRenaud
March 14, 2024 08:57 6m 6s asl-fix-as-bitvectors
asl-fix-as-bitvectors
March 14, 2024 08:57 6m 6s
[asl] fix unwanted conversions into bitvectors. build & make test #31: Pull request #808 opened by HadrienRenaud
March 13, 2024 15:47 7m 38s asl-fix-as-bitvectors
asl-fix-as-bitvectors
March 13, 2024 15:47 7m 38s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #30: Pull request #733 synchronize by HadrienRenaud
March 13, 2024 13:32 6m 9s asl-carpenter
asl-carpenter
March 13, 2024 13:32 6m 9s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #29: Pull request #733 synchronize by HadrienRenaud
March 13, 2024 11:29 6m 10s asl-carpenter
asl-carpenter
March 13, 2024 11:29 6m 10s
Asl semantics roman build & make test #28: Pull request #805 synchronize by Roman-Manevich
March 13, 2024 06:35 6m 29s asl-semantics-roman
asl-semantics-roman
March 13, 2024 06:35 6m 29s
Asl semantics roman build & make test #27: Pull request #805 synchronize by Roman-Manevich
March 13, 2024 06:28 6m 15s asl-semantics-roman
asl-semantics-roman
March 13, 2024 06:28 6m 15s
Asl semantics roman build & make test #26: Pull request #805 synchronize by Roman-Manevich
March 13, 2024 06:22 6m 57s asl-semantics-roman
asl-semantics-roman
March 13, 2024 06:22 6m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-03-13 or the other filters available.