Skip to content

Actions: herd/herdtools7

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow run results
81 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[all] Ocamlformat pre-commit hook Check format with `dune fmt` #4: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:34 3m 43s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:34 3m 43s
[all] Ocamlformat pre-commit hook Check format with `dune fmt` #3: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:32 3m 39s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:32 3m 39s
[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 Check format with `dune fmt` #2: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:31 3m 59s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:31 3m 59s
[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
[all] Ocamlformat pre-commit hook Check format with `dune fmt` #1: Pull request #785 synchronize by HadrienRenaud
March 15, 2024 10:28 3m 34s pre-commit-ocamlformat
pre-commit-ocamlformat
March 15, 2024 10:28 3m 34s
[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