fayalite-deps

Split the Rocq installation.

build.yml #78 -Scheduled

master

2026-02-16 00:52:49 +00:00

42m55s

Split the Rocq installation.

podman-rootless.yml #77 -Scheduled

master

2026-02-16 00:09:53 +00:00

9m7s

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

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.

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

master

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

30m57s

build container with all of fayalite's dependencies

build.yml #25 -Commit a506aa49a4 pushed by programmerjake

master

2025-10-14 05:28:58 +00:00

1h0m0s

WIP creating build script

build.yml #19 -Commit e352a82e9b pushed by programmerjake

master

2025-10-14 02:54:39 +00:00

26s

WIP creating build script

build.yml #17 -Commit afea2da954 pushed by programmerjake

master

2025-10-14 02:51:45 +00:00

10s

WIP creating build script

build.yml #15 -Commit 96bf6822ec pushed by programmerjake

master

2025-10-14 01:37:26 +00:00

30s

WIP creating build script

build.yml #14 -Commit 4f190dcb42 pushed by programmerjake

master

2025-10-14 01:21:04 +00:00

47s

WIP creating build script

podman-rootless.yml #9 -Commit b3e3ff227b pushed by programmerjake

master

2025-10-14 00:27:26 +00:00

27s

WIP creating build script

build.yml #7 -Commit e2ac030c81 pushed by programmerjake

master

2025-10-13 06:40:49 +00:00

32m2s

WIP creating build script

build.yml #6 -Commit 62f3505db9 pushed by programmerjake

master

2025-10-13 06:03:04 +00:00

10m37s

WIP creating build script

build.yml #4 -Commit c8980167b6 pushed by programmerjake

master

2025-10-13 05:22:55 +00:00

3m3s

WIP creating build script

build.yml #1 -Commit e48685b5fb pushed by programmerjake

master

2025-10-12 10:35:22 +00:00

9s