Skip to content

Actions: anoma/anoma

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,144 workflow runs
2,144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on Attic/mariari/local-domain Push #867: Commit 21c6c80 pushed by mariari
9m 48s Attic/mariari/local-domain
Attic/mariari/local-domain
9m 48s
Push on next Push On Main/Next/Base #64: Commit 7409cff pushed by mariari
3m 42s next
next
3m 42s
Push on next Push On Main/Next/Base #63: Commit c83d60e pushed by mariari
3m 45s next
next
3m 45s
Push on next Push On Main/Next/Base #62: Commit 01995d1 pushed by mariari
3m 52s next
next
3m 52s
Push on next Push On Main/Next/Base #61: Commit 6737168 pushed by mariari
18m 35s next
next
18m 35s
Push on next Push On Main/Next/Base #60: Commit e225359 pushed by mariari
10m 20s next
next
10m 20s
Push on terence/inductive-inductive-types Push #866: Commit 3a55b93 pushed by rokopt
2m 14s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 14s
Push on terence/inductive-inductive-types Push #865: Commit 39f2ec5 pushed by rokopt
2m 29s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 29s
Push on terence/inductive-inductive-types Push #864: Commit 4f3e4db pushed by rokopt
2m 26s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 26s
Push on terence/inductive-inductive-types Push #863: Commit b236594 pushed by rokopt
2m 14s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 14s
Push on terence/inductive-inductive-types Push #862: Commit 3194a59 pushed by rokopt
2m 16s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 16s
Push on terence/inductive-inductive-types Push #861: Commit cecd744 pushed by rokopt
2m 27s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 27s
Push on terence/inductive-inductive-types Push #860: Commit 38044eb pushed by rokopt
2m 40s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 40s
Push on terence/inductive-inductive-types Push #859: Commit 6188c43 pushed by rokopt
2m 17s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 17s
Push on terence/inductive-inductive-types Push #858: Commit dea14f9 pushed by rokopt
3m 3s terence/inductive-inductive-types
terence/inductive-inductive-types
3m 3s
Push on terence/inductive-inductive-types Push #857: Commit 0ba7b1d pushed by rokopt
11m 3s terence/inductive-inductive-types
terence/inductive-inductive-types
11m 3s
Push on next Push On Main/Next/Base #59: Commit da36520 pushed by mariari
10m 29s next
next
10m 29s
Pull request jam/minor-doc-updates into base Pull Request #618: Pull request #2106 synchronize by mariari
9m 51s jam/minor-doc-updates
jam/minor-doc-updates
9m 51s
Push on jam/minor-doc-updates Push #856: Commit 06f70fc pushed by mariari
10m 46s jam/minor-doc-updates
jam/minor-doc-updates
10m 46s
Push on terence/inductive-inductive-types Push #855: Commit 4a6c068 pushed by rokopt
4m 26s terence/inductive-inductive-types
terence/inductive-inductive-types
4m 26s
Push on terence/inductive-inductive-types Push #854: Commit 9b0a186 pushed by rokopt
5m 50s terence/inductive-inductive-types
terence/inductive-inductive-types
5m 50s
Push on terence/inductive-inductive-types Push #853: Commit 14cbc1c pushed by rokopt
5m 54s terence/inductive-inductive-types
terence/inductive-inductive-types
5m 54s
Push on terence/inductive-inductive-types Push #852: Commit d3d79f0 pushed by rokopt
5m 33s terence/inductive-inductive-types
terence/inductive-inductive-types
5m 33s
Push on terence/inductive-inductive-types Push #851: Commit 2a6534e pushed by rokopt
5m 40s terence/inductive-inductive-types
terence/inductive-inductive-types
5m 40s
Push on terence/inductive-inductive-types Push #850: Commit da1d228 pushed by rokopt
4m 24s terence/inductive-inductive-types
terence/inductive-inductive-types
4m 24s