Skip to content

Actions: flogth/ccs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[agda] minor restructure Build and Deploy Agda Docs with Nix Flake #7: Commit 46bf415 pushed by flogth
February 13, 2025 10:59 1m 42s main
main
February 13, 2025 10:59 1m 42s
[meta] mention html deployment Build and Deploy Agda Docs with Nix Flake #6: Commit 0cdcffd pushed by flogth
February 12, 2025 19:31 1m 41s main
main
February 12, 2025 19:31 1m 41s
Update pages.yml Build and Deploy Agda Docs with Nix Flake #5: Commit e06766d pushed by flogth
February 12, 2025 19:00 1m 42s main
main
February 12, 2025 19:00 1m 42s
Update pages.yml Build and Deploy Agda Docs with Nix Flake #4: Commit da5cc78 pushed by flogth
February 12, 2025 18:57 9s main
main
February 12, 2025 18:57 9s
Update pages.yml Build and Deploy Agda Docs with Nix Flake #3: Commit 3c9d506 pushed by flogth
February 12, 2025 18:53 1m 39s main
main
February 12, 2025 18:53 1m 39s
Update pages.yml Build and Deploy Agda Docs with Nix Flake #2: Commit 88d9df9 pushed by flogth
February 12, 2025 18:46 1m 33s main
main
February 12, 2025 18:46 1m 33s
[meta] try ci Build and Deploy Agda Docs with Nix Flake #1: Commit b897e5c pushed by flogth
February 12, 2025 18:35 1m 41s main
main
February 12, 2025 18:35 1m 41s