Skip to content

Actions: herd/herdtools7

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,847 workflow runs
3,847 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run BNFC dependent tests Run BNFC dependent tests #18: Scheduled
April 21, 2025 02:42 7m 35s master
master
April 21, 2025 02:42 7m 35s
build & make test build & make test #2174: Scheduled
April 21, 2025 02:40 8m 12s master
master
April 21, 2025 02:40 8m 12s
Build ASL reference Build ASL reference #274: Scheduled
April 21, 2025 02:28 8m 46s master
master
April 21, 2025 02:28 8m 46s
Make all tests Make all tests #16: Scheduled
April 21, 2025 02:26 39m 49s master
master
April 21, 2025 02:26 39m 49s
Run Litmus Run Litmus #13: Scheduled
April 20, 2025 10:18 4m 46s master
master
April 20, 2025 10:18 4m 46s
Check Build WWW Check Build WWW #59: Scheduled
April 20, 2025 08:17 4m 2s master
master
April 20, 2025 08:17 4m 2s
[asl+herd] Remove ASL experimental mode build & make test #2173: Pull request #1261 synchronize by HadrienRenaud
April 19, 2025 11:44 7m 45s HadrienRenaud:remove-asl-exp
HadrienRenaud:remove-asl-exp
April 19, 2025 11:44 7m 45s
[asl+herd] Remove ASL experimental mode build & make test #2172: Pull request #1261 synchronize by HadrienRenaud
April 19, 2025 11:38 6m 32s HadrienRenaud:remove-asl-exp
HadrienRenaud:remove-asl-exp
April 19, 2025 11:38 6m 32s
[asl+herd] Remove ASL experimental mode build & make test #2171: Pull request #1261 synchronize by HadrienRenaud
April 18, 2025 23:07 10m 18s HadrienRenaud:remove-asl-exp
HadrienRenaud:remove-asl-exp
April 18, 2025 23:07 10m 18s
[asl+herd] Remove ASL experimental mode build & make test #2170: Pull request #1261 synchronize by HadrienRenaud
April 18, 2025 21:12 3m 1s HadrienRenaud:remove-asl-exp
HadrienRenaud:remove-asl-exp
April 18, 2025 21:12 3m 1s
[asl+herd] Remove ASL experimental mode build & make test #2169: Pull request #1261 synchronize by HadrienRenaud
April 18, 2025 17:07 3m 36s HadrienRenaud:remove-asl-exp
HadrienRenaud:remove-asl-exp
April 18, 2025 17:07 3m 36s
[asl+herd] Remove ASL experimental mode build & make test #2168: Pull request #1261 synchronize by HadrienRenaud
April 18, 2025 16:16 7m 29s HadrienRenaud:remove-asl-exp
HadrienRenaud:remove-asl-exp
April 18, 2025 16:16 7m 29s
[asl+herd] Remove ASL experimental mode build & make test #2167: Pull request #1261 opened by HadrienRenaud
April 18, 2025 11:03 5m 21s HadrienRenaud:remove-asl-exp
HadrienRenaud:remove-asl-exp
April 18, 2025 11:03 5m 21s
[herd,aarch64] Split NZCV into 4 1bit registers build & make test #2166: Pull request #1258 synchronize by HadrienRenaud
April 18, 2025 10:03 8m 57s HadrienRenaud:split-nzcv
HadrienRenaud:split-nzcv
April 18, 2025 10:03 8m 57s
[herd][AArch64+ASL] Do not force UDF variant to use ASL build & make test #2165: Pull request #1260 synchronize by maranget
April 18, 2025 08:59 7m 58s HadrienRenaud:fix-udf-me
HadrienRenaud:fix-udf-me
April 18, 2025 08:59 7m 58s
[herd,solver] Fix topological solver build & make test #2164: Pull request #1259 synchronize by maranget
April 17, 2025 16:58 8m 36s fix-topological-solver
fix-topological-solver
April 17, 2025 16:58 8m 36s
[herd,solver] Fix topological solver build & make test #2163: Pull request #1259 synchronize by maranget
April 17, 2025 16:55 2m 48s fix-topological-solver
fix-topological-solver
April 17, 2025 16:55 2m 48s
[herd,solver] Fix topological solver build & make test #2162: Pull request #1259 synchronize by maranget
April 17, 2025 16:51 4m 9s fix-topological-solver
fix-topological-solver
April 17, 2025 16:51 4m 9s
[herd][AArch64+ASL] Do not force UDF variant to use ASL build & make test #2161: Pull request #1260 opened by HadrienRenaud
April 17, 2025 14:56 8m 6s HadrienRenaud:fix-udf-me
HadrienRenaud:fix-udf-me
April 17, 2025 14:56 8m 6s
[herd,aarch64] Split NZCV into 4 1bit registers build & make test #2160: Pull request #1258 synchronize by HadrienRenaud
April 17, 2025 14:49 8m 23s HadrienRenaud:split-nzcv
HadrienRenaud:split-nzcv
April 17, 2025 14:49 8m 23s
[herd,solver] Fix topological solver build & make test #2159: Pull request #1259 synchronize by HadrienRenaud
April 17, 2025 14:30 8m 25s fix-topological-solver
fix-topological-solver
April 17, 2025 14:30 8m 25s
PAC with collisions build & make test #2158: Pull request #1235 synchronize by RemyCiterin
April 17, 2025 13:29 1m 54s RemyCiterin:master
RemyCiterin:master
April 17, 2025 13:29 1m 54s
[herd,solver] Fix topological solver build & make test #2157: Pull request #1259 opened by maranget
April 17, 2025 11:54 8m 24s fix-topological-solver
fix-topological-solver
April 17, 2025 11:54 8m 24s
[herd,aarch64] Split NZCV into 4 1bit registers build & make test #2156: Pull request #1258 synchronize by maranget
April 16, 2025 21:52 8m 26s HadrienRenaud:split-nzcv
HadrienRenaud:split-nzcv
April 16, 2025 21:52 8m 26s
[herd,aarch64] Split NZCV into 4 1bit registers build & make test #2155: Pull request #1258 synchronize by maranget
April 16, 2025 21:43 8m 24s HadrienRenaud:split-nzcv
HadrienRenaud:split-nzcv
April 16, 2025 21:43 8m 24s