All workflows build.yml podman-rootless.yml

Actor

All actors cesar programmerjake

Status

All status Success Failure Waiting Running

Split the Rocq installation.

build.yml #74 -Scheduled

master

2026-02-02 01:00:16 +00:00

39m33s

Split the Rocq installation.

podman-rootless.yml #73 -Scheduled

master

2026-02-02 00:20:43 +00:00

3m28s

Split the Rocq installation.

build.yml #72 -Scheduled

master

2026-01-26 00:43:12 +00:00

39m5s

Split the Rocq installation.

podman-rootless.yml #71 -Scheduled

master

2026-01-26 00:04:07 +00:00

3m27s

Split the Rocq installation.

build.yml #70 -Scheduled

master

2026-01-19 00:43:23 +00:00

39m0s

Split the Rocq installation.

podman-rootless.yml #69 -Scheduled

master

2026-01-19 00:04:22 +00:00

3m28s

Split the Rocq installation.

build.yml #68 -Scheduled

master

2026-01-12 00:43:03 +00:00

39m23s

Split the Rocq installation.

podman-rootless.yml #67 -Scheduled

master

2026-01-12 00:03:40 +00:00

3m27s

Split the Rocq installation.

build.yml #66 -Scheduled

master

2026-01-05 00:43:36 +00:00

39m14s

Split the Rocq installation.

podman-rootless.yml #65 -Scheduled

master

2026-01-05 00:04:21 +00:00

3m37s

Split the Rocq installation.

podman-rootless.yml #64 -Commit 49076888de pushed by cesar

master

2026-01-01 15:32:20 +00:00

39s

Split the Rocq installation.

build.yml #63 -Commit 49076888de pushed by cesar

master

2026-01-01 16:24:26 +00:00

1h8m59s

Split the Rocq installation.

podman-rootless.yml #62 -Commit 49076888de pushed by cesar

#3

2026-01-01 14:56:51 +00:00

0s

Split the Rocq installation.

build.yml #61 -Commit 49076888de pushed by cesar

#3

2026-01-01 14:57:07 +00:00

0s

Reduce image size by cleaning opam cache.

podman-rootless.yml #60 -Commit 17bd387064 pushed by programmerjake

master

2026-01-01 14:41:53 +00:00

3m26s

Reduce image size by cleaning opam cache.

build.yml #59 -Commit 17bd387064 pushed by programmerjake

master

2026-01-01 14:38:22 +00:00

30m21s

Reduce image size by cleaning opam cache.

podman-rootless.yml #58 -Commit 17bd387064 pushed by cesar

#2

2026-01-01 15:01:08 +00:00

37s

Reduce image size by cleaning opam cache.

build.yml #57 -Commit 17bd387064 pushed by cesar

#2

2026-01-01 15:00:37 +00:00

20m40s

Add Rocq to the installed dependencies.

build.yml #56 -Scheduled

master

2025-12-29 01:01:31 +00:00

31m45s

Add Rocq to the installed dependencies.

podman-rootless.yml #55 -Scheduled

master

2025-12-29 00:29:46 +00:00

37s

Add Rocq to the installed dependencies.

podman-rootless.yml #54 -Commit 117d2cfcdf pushed by cesar

master

2025-12-29 00:29:08 +00:00

3m28s

Add Rocq to the installed dependencies.

build.yml #53 -Commit 117d2cfcdf pushed by cesar

master

2025-12-29 00:25:34 +00:00

30m57s

Add Rocq to the installed dependencies.

podman-rootless.yml #52 -Commit 117d2cfcdf pushed by cesar

#1

2025-12-28 22:45:29 +00:00

31s

Add Rocq to the installed dependencies.

build.yml #51 -Commit 117d2cfcdf pushed by cesar

#1

2025-12-28 22:44:52 +00:00

18m59s

build devices xc7a35tcsg324-1 and xc7a100tcsg324-1

build.yml #50 -Scheduled

master

2025-12-22 00:34:19 +00:00

30m11s

build devices xc7a35tcsg324-1 and xc7a100tcsg324-1

podman-rootless.yml #49 -Scheduled

master

2025-12-22 00:04:07 +00:00

3m26s

build devices xc7a35tcsg324-1 and xc7a100tcsg324-1

build.yml #48 -Scheduled

master

2025-12-15 01:03:49 +00:00

30m23s

build devices xc7a35tcsg324-1 and xc7a100tcsg324-1

podman-rootless.yml #47 -Scheduled

master

2025-12-15 00:33:26 +00:00

3m30s

build devices xc7a35tcsg324-1 and xc7a100tcsg324-1

build.yml #46 -Scheduled

master

2025-12-08 00:34:07 +00:00

30m10s

build devices xc7a35tcsg324-1 and xc7a100tcsg324-1

podman-rootless.yml #45 -Scheduled

master

2025-12-08 00:03:57 +00:00

3m34s