Skip to content

Actions: herd/herdtools7

Actions

build & make test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[litmus] Correctly handle MTE precision and fix -variant ifetch build & make test #25: Pull request #807 opened by relokin
March 13, 2024 00:12 6m 10s relokin:litmus-fixes
relokin:litmus-fixes
March 13, 2024 00:12 6m 10s
Introduce basic support for SVE build & make test #24: Pull request #802 synchronize by murzinv
March 12, 2024 12:17 8m 53s murzinv:sve-basics
murzinv:sve-basics
March 12, 2024 12:17 8m 53s
Asl semantics roman build & make test #23: Pull request #805 synchronize by Roman-Manevich
March 11, 2024 19:07 6m 39s asl-semantics-roman
asl-semantics-roman
March 11, 2024 19:07 6m 39s
[herd] Introduce Monad.S.map build & make test #22: Pull request #806 opened by HadrienRenaud
March 11, 2024 13:42 6m 25s HadrienRenaud:monad-map
HadrienRenaud:monad-map
March 11, 2024 13:42 6m 25s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #21: Pull request #733 synchronize by HadrienRenaud
March 11, 2024 12:52 6m 53s asl-carpenter
asl-carpenter
March 11, 2024 12:52 6m 53s
build & make test build & make test #20: Scheduled
March 11, 2024 01:48 6m 18s master
master
March 11, 2024 01:48 6m 18s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #19: Pull request #733 synchronize by HadrienRenaud
March 9, 2024 16:12 5m 50s asl-carpenter
asl-carpenter
March 9, 2024 16:12 5m 50s
Asl semantics roman build & make test #18: Pull request #805 synchronize by Roman-Manevich
March 8, 2024 13:34 6m 40s asl-semantics-roman
asl-semantics-roman
March 8, 2024 13:34 6m 40s
Introduce basic support for SVE build & make test #17: Pull request #802 synchronize by murzinv
March 8, 2024 11:27 8m 56s murzinv:sve-basics
murzinv:sve-basics
March 8, 2024 11:27 8m 56s
Introduce basic support for SVE build & make test #16: Pull request #802 synchronize by murzinv
March 8, 2024 11:01 8m 41s murzinv:sve-basics
murzinv:sve-basics
March 8, 2024 11:01 8m 41s
[asl] Add branching event in choice operation build & make test #15: Pull request #786 synchronize by maranget
March 7, 2024 17:32 6m 4s asl-branch-event
asl-branch-event
March 7, 2024 17:32 6m 4s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #14: Pull request #733 synchronize by HadrienRenaud
March 7, 2024 14:02 6m 31s asl-carpenter
asl-carpenter
March 7, 2024 14:02 6m 31s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #13: Pull request #733 synchronize by HadrienRenaud
March 7, 2024 13:14 6m 17s asl-carpenter
asl-carpenter
March 7, 2024 13:14 6m 17s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #12: Pull request #733 synchronize by HadrienRenaud
March 7, 2024 12:48 4m 58s asl-carpenter
asl-carpenter
March 7, 2024 12:48 4m 58s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #11: Pull request #733 synchronize by HadrienRenaud
March 7, 2024 12:34 4m 53s asl-carpenter
asl-carpenter
March 7, 2024 12:34 4m 53s
[asl-carpenter] Introducing the ASLCarpenter testing tool build & make test #10: Pull request #733 synchronize by HadrienRenaud
March 7, 2024 11:47 5m 3s asl-carpenter
asl-carpenter
March 7, 2024 11:47 5m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-03-07 or the other filters available.