8000 Workflow runs · agda/agda-stdlib · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,551 workflow runs
3,551 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Ubuntu build #4740: Pull request #2726 synchronize by jamesmckinna
June 6, 2025 10:09 8m 38s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 6, 2025 10:09 8m 38s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Haskell-CI #2098: Pull request #2726 synchronize by jamesmckinna
June 6, 2025 10:09 2m 54s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 6, 2025 10:09 2m 54s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Check whitespace #1708: Pull request #2726 synchronize by jamesmckinna
June 6, 2025 10:09 17s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 6, 2025 10:09 17s
finding -> funding .github/workflows/joss-paper-ci.yml #90: Commit 8d23ef3 pushed by JacquesCarette
June 6, 2025 01:39 56s v2.0-joss-submission
v2.0-joss-submission
June 6, 2025 01:39 56s
Add missing comma in bibliography .github/workflows/joss-paper-ci.yml #89: Commit 243b307 pushed by MatthewDaggitt
June 6, 2025 01:33 1m 1s v2.0-joss-submission
v2.0-joss-submission
June 6, 2025 01:33 1m 1s
Final comments addressed .github/workflows/joss-paper-ci.yml #88: Commit 34d976b pushed by MatthewDaggitt
June 6, 2025 01:30 20s v2.0-joss-submission
v2.0-joss-submission
June 6, 2025 01:30 20s
[Add] Initial files for Domain theory Check whitespace #1707: Pull request #2721 synchronize by jmougeot
June 5, 2025 20:15 17s jmougeot:domain_part1
jmougeot:domain_part1
June 5, 2025 20:15 17s
[Add] Initial files for Domain theory Ubuntu build #4739: Pull request #2721 synchronize by jmougeot
June 5, 2025 20:15 39m 28s jmougeot:domain_part1
jmougeot:domain_part1
June 5, 2025 20:15 39m 28s
[Add] Initial files for Domain theory Haskell-CI #2097: Pull request #2721 synchronize by jmougeot
June 5, 2025 20:15 2m 59s jmougeot:domain_part1
jmougeot:domain_part1
June 5, 2025 20:15 2m 59s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Ubuntu build #4738: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:20 39m 17s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:20 39m 17s
10000
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Haskell-CI #2096: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:20 22m 0s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:20 22m 0s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Check whitespace #1706: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:20 21m 19s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:20 21m 19s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Haskell-CI #2095: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:13 20m 2s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:13 20m 2s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Ubuntu build #4737: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:13 9m 54s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:13 9m 54s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Check whitespace #1705: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:13 6m 26s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:13 6m 26s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Haskell-CI #2094: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:10 20m 2s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:10 20m 2s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Ubuntu build #4736: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:10 5m 18s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:10 5m 18s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Check whitespace #1704: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 18:10 4m 24s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 18:10 4m 24s
Adds Algebra.Morphism.Construct.DirectProduct Haskell-CI #2093: Pull request #2715 synchronize by carlostome
June 5, 2025 12:33 2m 54s carlostome:carlos/add-projection-morphisms
carlostome:carlos/add-projection-morphisms
June 5, 2025 12:33 2m 54s
Adds Algebra.Morphism.Construct.DirectProduct Check whitespace #1703: Pull request #2715 synchronize by carlostome
June 5, 2025 12:33 12s carlostome:carlos/add-projection-morphisms
carlostome:carlos/add-projection-morphisms
June 5, 2025 12:33 12s
Adds Algebra.Morphism.Construct.DirectProduct Ubuntu build #4735: Pull request #2715 synchronize by carlostome
June 5, 2025 12:33 39m 6s carlostome:carlos/add-projection-morphisms
carlostome:carlos/add-projection-morphisms
June 5, 2025 12:33 39m 6s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Haskell-CI #2092: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 11:11 3m 1s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 11:11 3m 1s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Ubuntu build #4734: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 11:11 39m 32s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 11:11 39m 32s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Check whitespace #1702: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 11:11 13s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 11:11 13s
[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids Check whitespace #1701: Pull request #2726 synchronize by jamesmckinna
June 5, 2025 08:52 11s jamesmckinna:hinze-permutation
jamesmckinna:hinze-permutation
June 5, 2025 08:52 11s
0