All workflows build.yml podman-rootless.yml

Actor

All actors cesar programmerjake

Status

All status Success Failure Waiting Running

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 #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.

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