Skip to content

Actions: djspacewhale/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Remove Vojtěch Štěpančík from maintainers (#1934) Build and deploy library website #70: Commit 1388f91 pushed by djspacewhale
24m 26s master
master
24m 26s
Remove Vojtěch Štěpančík from maintainers (#1934) Clean build and profiling of library #10: Commit 1388f91 pushed by djspacewhale
14m 48s master
master
14m 48s
The parametricity axiom (#1642) Clean build and profiling of library #9: Commit 52de13f pushed by djspacewhale
14m 24s master
master
14m 24s
The parametricity axiom (#1642) Build and deploy library website #69: Commit 52de13f pushed by djspacewhale
26m 16s master
master
26m 16s
Dependent products of cumulative large sets (#1855) Clean build and profiling of library #8: Commit a78402d pushed by djspacewhale
14m 17s master
master
14m 17s
Dependent products of cumulative large sets (#1855) Build and deploy library website #68: Commit a78402d pushed by djspacewhale
23m 52s master
master
23m 52s
Universal algebra: relationship between group homomorphisms and homom… Clean build and profiling of library #7: Commit 0d3fab3 pushed by djspacewhale
15m 41s master
master
15m 41s
Universal algebra: relationship between group homomorphisms and homom… Build and deploy library website #67: Commit 0d3fab3 pushed by djspacewhale
13m 31s master
master
13m 31s
chore: Update reference to center in centers-rings.lagda.md (#1783) Clean build and profiling of library #6: Commit 1f2185b pushed by djspacewhale
12m 45s master
master
12m 45s
chore: Update reference to center in centers-rings.lagda.md (#1783) Build and deploy library website #66: Commit 1f2185b pushed by djspacewhale
9m 19s master
master
9m 19s
Hilbert spaces (#1713) Clean build and profiling of library #5: Commit ba79ddf pushed by djspacewhale
14m 14s master
master
14m 14s
Hilbert spaces (#1713) Build and deploy library website #65: Commit ba79ddf pushed by djspacewhale
23m 0s master
master
23m 0s
chore: Concepts in structured-types (#1658) Clean build and profiling of library #4: Commit b486773 pushed by djspacewhale
12m 37s master
master
12m 37s
chore: Concepts in structured-types (#1658) Build and deploy library website #64: Commit b486773 pushed by djspacewhale
18m 2s master
master
18m 2s
chore: fix some typos (#1641) Clean build and profiling of library #3: Commit a6d1644 pushed by djspacewhale
12m 37s master
master
12m 37s
chore: fix some typos (#1641) Build and deploy library website #63: Commit a6d1644 pushed by djspacewhale
25m 49s master
master
25m 49s
Multiplication of real numbers (#1384) Build and deploy library website #62: Commit 05c0c4f pushed by djspacewhale
10m 31s master
master
10m 31s
Multiplication of real numbers (#1384) Clean build and profiling of library #2: Commit 05c0c4f pushed by djspacewhale
12m 3s master
master
12m 3s
Poset of closed intervals on lattices (#1565) Clean build and profiling of library #1: Commit a22cacd pushed by djspacewhale
12m 25s master
master
12m 25s
Poset of closed intervals on lattices (#1565) Build and deploy library website #61: Commit a22cacd pushed by djspacewhale
21m 52s master
master
21m 52s
Simplify inequality reasoning syntax in posets (#1533) Profile Library Typechecking #34: Commit 961069e pushed by djspacewhale
17m 57s master
master
17m 57s
Simplify inequality reasoning syntax in posets (#1533) Build and deploy library website #60: Commit 961069e pushed by djspacewhale
13m 51s master
master
13m 51s
Simplify inequality reasoning syntax in posets (#1533) agda-unimath CI #60: Commit 961069e pushed by djspacewhale
12m 46s master
master
12m 46s
Series in metric abelian groups (#1528) agda-unimath CI #59: Commit dee0de2 pushed by djspacewhale
10m 27s master
master
10m 27s
Series in metric abelian groups (#1528) Profile Library Typechecking #33: Commit dee0de2 pushed by djspacewhale
18m 25s master
master
18m 25s