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] Static base values build & make test #1057: Pull request #1023 opened by HadrienRenaud
October 29, 2024 16:07 9m 50s HadrienRenaud:asl-base-values
HadrienRenaud:asl-base-values
October 29, 2024 16:07 9m 50s
[draft] updates to aarch64 cat and tests build & make test #1056: Pull request #952 synchronize by artkhyzha
October 29, 2024 13:19 9m 43s artkhyzha:aarch64-lob-revamp
artkhyzha:aarch64-lob-revamp
October 29, 2024 13:19 9m 43s
[draft] updates to aarch64 cat and tests build & make test #1055: Pull request #952 synchronize by artkhyzha
October 29, 2024 10:39 9m 45s artkhyzha:aarch64-lob-revamp
artkhyzha:aarch64-lob-revamp
October 29, 2024 10:39 9m 45s
[draft] updates to aarch64 cat and tests build & make test #1054: Pull request #952 synchronize by artkhyzha
October 29, 2024 10:25 9m 57s artkhyzha:aarch64-lob-revamp
artkhyzha:aarch64-lob-revamp
October 29, 2024 10:25 9m 57s
[Asl] Fix pattern for string types and improve error message build & make test #1053: Pull request #1022 synchronize by HadrienRenaud
October 28, 2024 18:12 10m 18s HadrienRenaud:asl-fix-pattern-exprs
HadrienRenaud:asl-fix-pattern-exprs
October 28, 2024 18:12 10m 18s
[Asl] Fix pattern for string types and improve error message build & make test #1052: Pull request #1022 opened by HadrienRenaud
October 28, 2024 18:00 7m 32s HadrienRenaud:asl-fix-pattern-exprs
HadrienRenaud:asl-fix-pattern-exprs
October 28, 2024 18:00 7m 32s
build & make test build & make test #1051: Scheduled
October 28, 2024 02:21 9m 52s master
master
October 28, 2024 02:21 9m 52s
Rework the intrinsic dependencies for SVE instructions build & make test #1050: Pull request #974 synchronize by yuxiliu-arm
October 25, 2024 17:14 10m 1s yuxiliu-arm:liu/sve-semantics-fix
yuxiliu-arm:liu/sve-semantics-fix
October 25, 2024 17:14 10m 1s
[asl][ci] Check that make asldoc runs build & make test #1049: Pull request #1021 synchronize by HadrienRenaud
October 25, 2024 09:57 9m 53s HadrienRenaud:asldoc-ci
HadrienRenaud:asldoc-ci
October 25, 2024 09:57 9m 53s
[asl][ci] Check that make asldoc runs build & make test #1048: Pull request #1021 opened by HadrienRenaud
October 25, 2024 09:57 40s HadrienRenaud:asldoc-ci
HadrienRenaud:asldoc-ci
October 25, 2024 09:57 40s
ASL synchronize reference with the implementation build & make test #1047: Pull request #1020 opened by Roman-Manevich
October 24, 2024 17:22 10m 13s asl-sync-reference
asl-sync-reference
October 24, 2024 17:22 10m 13s
[ASL] Rework binary operation effects on symbolic constraints build & make test #1046: Pull request #1008 synchronize by HadrienRenaud
October 24, 2024 15:58 9m 51s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 24, 2024 15:58 9m 51s
[asl] Fix ATCs on types with same structure build & make test #1045: Pull request #1018 synchronize by HadrienRenaud
October 24, 2024 15:55 10m 5s HadrienRenaud:asl-fix-atc-struct
HadrienRenaud:asl-fix-atc-struct
October 24, 2024 15:55 10m 5s
[asl][reference] Fix double declaration of add_global_storage build & make test #1044: Pull request #1019 opened by Roman-Manevich
October 24, 2024 15:13 10m 42s asl-reference-fix
asl-reference-fix
October 24, 2024 15:13 10m 42s
[asl] Fix ATCs on types with same structure build & make test #1043: Pull request #1018 synchronize by HadrienRenaud
October 24, 2024 14:50 10m 4s HadrienRenaud:asl-fix-atc-struct
HadrienRenaud:asl-fix-atc-struct
October 24, 2024 14:50 10m 4s
[asl] Prevent use of empty slices on integers and bitvectors. build & make test #1042: Pull request #1016 synchronize by HadrienRenaud
October 24, 2024 14:39 9m 38s HadrienRenaud:asl-fix-empty-slice
HadrienRenaud:asl-fix-empty-slice
October 24, 2024 14:39 9m 38s
[asl] Prevent use of empty slices on integers and bitvectors. build & make test #1041: Pull request #1016 synchronize by HadrienRenaud
October 24, 2024 12:24 11m 56s HadrienRenaud:asl-fix-empty-slice
HadrienRenaud:asl-fix-empty-slice
October 24, 2024 12:24 11m 56s
[Asl0] Small subtlety with patterns in ASL0 build & make test #1040: Pull request #1017 synchronize by HadrienRenaud
October 24, 2024 12:17 10m 16s HadrienRenaud:asl0-patterns
HadrienRenaud:asl0-patterns
October 24, 2024 12:17 10m 16s
[asl] Fix ATCs on types with same structure build & make test #1039: Pull request #1018 synchronize by HadrienRenaud
October 24, 2024 11:48 10m 1s HadrienRenaud:asl-fix-atc-struct
HadrienRenaud:asl-fix-atc-struct
October 24, 2024 11:48 10m 1s
[Asl0] Small subtlety with patterns in ASL0 build & make test #1038: Pull request #1017 synchronize by HadrienRenaud
October 24, 2024 11:46 9m 52s HadrienRenaud:asl0-patterns
HadrienRenaud:asl0-patterns
October 24, 2024 11:46 9m 52s
[Asl0] Small subtlety with patterns in ASL0 build & make test #1037: Pull request #1017 synchronize by HadrienRenaud
October 24, 2024 11:31 7m 34s HadrienRenaud:asl0-patterns
HadrienRenaud:asl0-patterns
October 24, 2024 11:31 7m 34s
[Asl0] Small subtlety with patterns in ASL0 build & make test #1036: Pull request #1017 synchronize by HadrienRenaud
October 24, 2024 11:28 2m 57s HadrienRenaud:asl0-patterns
HadrienRenaud:asl0-patterns
October 24, 2024 11:28 2m 57s
[asl] Fix ATCs on types with same structure build & make test #1035: Pull request #1018 opened by HadrienRenaud
October 24, 2024 10:16 7m 46s HadrienRenaud:asl-fix-atc-struct
HadrienRenaud:asl-fix-atc-struct
October 24, 2024 10:16 7m 46s
[Asl0] Small subtlety with patterns in ASL0 build & make test #1034: Pull request #1017 synchronize by HadrienRenaud
October 23, 2024 13:52 10m 4s HadrienRenaud:asl0-patterns
HadrienRenaud:asl0-patterns
October 23, 2024 13:52 10m 4s
[Asl0] Small subtlety with patterns in ASL0 build & make test #1033: Pull request #1017 synchronize by HadrienRenaud
October 23, 2024 13:48 4m 1s HadrienRenaud:asl0-patterns
HadrienRenaud:asl0-patterns
October 23, 2024 13:48 4m 1s