Skip to content

Actions: herd/herdtools7

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
March 11, 2024 12:52 6m 53s
build & make test
build & make test #20: Scheduled
March 11, 2024 01:48 6m 18s 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
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
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
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
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
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
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
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
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
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
March 7, 2024 11:47 5m 3s
build & make test
build & make test #9: Manually run by HadrienRenaud
March 7, 2024 08:32 9m 16s master
March 7, 2024 08:32 9m 16s
[ci] Add optionnal workflow to run make test
build & make test #8: Pull request #801 synchronize by HadrienRenaud
March 6, 2024 14:14 6m 8s ci-opt-make-test
March 6, 2024 14:14 6m 8s
[ci] Add optionnal workflow to run make test
build & make test #7: Pull request #801 synchronize by HadrienRenaud
March 6, 2024 14:14 6m 31s ci-opt-make-test
March 6, 2024 14:14 6m 31s
[ci] Add optionnal workflow to run make test
build & make test #6: Commit d2ba868 pushed by HadrienRenaud
March 6, 2024 14:14 5m 57s ci-opt-make-test
March 6, 2024 14:14 5m 57s
[ci] Add optionnal workflow to run make test
build & make test #5: Pull request #801 synchronize by HadrienRenaud
March 6, 2024 14:07 10m 2s ci-opt-make-test
March 6, 2024 14:07 10m 2s
[ci] Add optionnal workflow to run make test
build & make test #4: Commit 77c63c9 pushed by HadrienRenaud
March 6, 2024 14:07 9m 42s ci-opt-make-test
March 6, 2024 14:07 9m 42s
Remove macos
build & make test #3: Commit fc1a4c6 pushed by HadrienRenaud
February 27, 2024 14:28 7m 9s ci-opt-make-test
February 27, 2024 14:28 7m 9s
Remove macos
build & make test #2: Commit 1c9e7aa pushed by HadrienRenaud
February 27, 2024 14:10 5m 49s ci-opt-make-test
February 27, 2024 14:10 5m 49s
WIP TEST
build & make test #1: Commit aa633dd pushed by HadrienRenaud
February 27, 2024 13:53 21m 51s ci-opt-make-test
February 27, 2024 13:53 21m 51s
Build WWW
Build WWW #7: Manually run by maranget
February 22, 2024 15:08 5m 39s master
February 22, 2024 15:08 5m 39s