Skip to content

Actions: alma-n/Polya-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cherry-pick CI changes from pitmonticone:bump .github/workflows/push.yml #1: Commit 74a7e40 pushed by xhalo32
July 18, 2024 13:55 37m 54s main
main
July 18, 2024 13:55 37m 54s
cherry-pick CI changes from pitmonticone:bump .github/workflows/blueprint.yml #6: Commit 74a7e40 pushed by xhalo32
July 18, 2024 13:55 37m 55s main
main
July 18, 2024 13:55 37m 55s
More blueprint but only very sketchy. .github/workflows/blueprint.yml #5: Commit 7245c49 pushed by kkytola
July 14, 2024 09:49 33m 56s main
main
July 14, 2024 09:49 33m 56s
Blueprint towards Polya. .github/workflows/blueprint.yml #4: Commit 52fe395 pushed by kkytola
July 12, 2024 06:15 34m 46s main
main
July 12, 2024 06:15 34m 46s
fix blueprint/src/web.tex .github/workflows/blueprint.yml #3: Commit 508aed5 pushed by xhalo32
July 11, 2024 15:26 35m 35s main
main
July 11, 2024 15:26 35m 35s
Merge pull request #4 from kkytola/main .github/workflows/blueprint.yml #2: Commit ec11581 pushed by alma-n
July 11, 2024 11:50 35m 23s main
main
July 11, 2024 11:50 35m 23s
add lean blueprint .github/workflows/blueprint.yml #1: Commit 1cd4ac1 pushed by xhalo32
July 2, 2024 18:04 36m 36s main
main
July 2, 2024 18:04 36m 36s