Skip to content

Actions: herd/herdtools7

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,061 workflow runs
2,061 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Asl] Static base values
Check format with `dune fmt` #963: Pull request #1023 opened by HadrienRenaud
October 29, 2024 16:07 6m 19s HadrienRenaud:asl-base-values
October 29, 2024 16:07 6m 19s
[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
October 29, 2024 16:07 9m 50s
[draft] updates to aarch64 cat and tests
Check format with `dune fmt` #962: Pull request #952 synchronize by artkhyzha
October 29, 2024 13:19 6m 18s artkhyzha:aarch64-lob-revamp
October 29, 2024 13:19 6m 18s
[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
October 29, 2024 13:19 9m 43s
[draft] updates to aarch64 cat and tests
Check format with `dune fmt` #961: Pull request #952 synchronize by artkhyzha
October 29, 2024 10:39 6m 36s artkhyzha:aarch64-lob-revamp
October 29, 2024 10:39 6m 36s
[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
October 29, 2024 10:39 9m 45s
[draft] updates to aarch64 cat and tests
Check format with `dune fmt` #960: Pull request #952 synchronize by artkhyzha
October 29, 2024 10:25 7m 5s artkhyzha:aarch64-lob-revamp
October 29, 2024 10:25 7m 5s
[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
October 29, 2024 10:25 9m 57s
[Asl] Fix pattern for string types and improve error message
Check format with `dune fmt` #959: Pull request #1022 synchronize by HadrienRenaud
October 28, 2024 18:12 6m 50s HadrienRenaud:asl-fix-pattern-exprs
October 28, 2024 18:12 6m 50s
build & make test
build & make test #1051: Scheduled
October 28, 2024 02:21 9m 52s master
October 28, 2024 02:21 9m 52s
Check format with dune fmt
Check format with `dune fmt` #957: Scheduled
October 28, 2024 02:19 11m 7s master
October 28, 2024 02:19 11m 7s
Check Build WWW
Check Build WWW #33: Scheduled
October 27, 2024 08:18 8m 18s master
October 27, 2024 08:18 8m 18s
Rework the intrinsic dependencies for SVE instructions
Check format with `dune fmt` #956: Pull request #974 synchronize by yuxiliu-arm
October 25, 2024 17:14 6m 27s yuxiliu-arm:liu/sve-semantics-fix
October 25, 2024 17:14 6m 27s
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
October 25, 2024 17:14 10m 1s
[asl][ci] Check that make asldoc runs
Check format with `dune fmt` #955: Pull request #1021 synchronize by HadrienRenaud
October 25, 2024 09:57 6m 37s HadrienRenaud:asldoc-ci
October 25, 2024 09:57 6m 37s
[asl][ci] Check that make asldoc runs
Build ASL reference #2: Pull request #1021 synchronize by HadrienRenaud
October 25, 2024 09:57 9m 15s HadrienRenaud:asldoc-ci
October 25, 2024 09:57 9m 15s
[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
October 25, 2024 09:57 9m 53s
[asl][ci] Check that make asldoc runs
Build ASL reference #1: Pull request #1021 opened by HadrienRenaud
October 25, 2024 09:57 51s HadrienRenaud:asldoc-ci
October 25, 2024 09:57 51s
[asl][ci] Check that make asldoc runs
Check format with `dune fmt` #954: Pull request #1021 opened by HadrienRenaud
October 25, 2024 09:57 39s HadrienRenaud:asldoc-ci
October 25, 2024 09:57 39s
[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
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
October 24, 2024 17:22 10m 13s
ASL synchronize reference with the implementation
Check format with `dune fmt` #953: Pull request #1020 opened by Roman-Manevich
October 24, 2024 17:22 6m 29s asl-sync-reference
October 24, 2024 17:22 6m 29s