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

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linear maps over modules agda-unimath CI #10176: Pull request #1395 synchronize by lowasser
May 16, 2025 22:29 3m 19s lowasser:linear-maps
lowasser:linear-maps
May 16, 2025 22:29 3m 19s
Linear maps over modules agda-unimath CI #10175: Pull request #1395 synchronize by lowasser
May 16, 2025 22:21 3m 30s lowasser:linear-maps
lowasser:linear-maps
May 16, 2025 22:21 3m 30s
Lipschitz-continuous functions between metric spaces agda-unimath CI #10174: Pull request #1417 synchronize by malarbol
May 16, 2025 20:38 3m 46s malarbol:Lipschitz-functions-metric-spaces
malarbol:Lipschitz-functions-metric-spaces
May 16, 2025 20:38 3m 46s
Linear maps over modules agda-unimath CI #10173: Pull request #1395 synchronize by lowasser
May 16, 2025 20:07 8m 24s lowasser:linear-maps
lowasser:linear-maps
May 16, 2025 20:07 8m 24s
Linear maps over modules agda-unimath CI #10172: Pull request #1395 synchronize by lowasser
May 16, 2025 20:01 2m 40s lowasser:linear-maps
lowasser:linear-maps
May 16, 2025 20:01 2m 40s
Linear maps over modules agda-unimath CI #10171: Pull request #1395 synchronize by lowasser
May 16, 2025 20:00 1m 30s lowasser:linear-maps
lowasser:linear-maps
May 16, 2025 20:00 1m 30s
Sums and products over arbitrary finite types agda-unimath CI #10170: Pull request #1367 synchronize by lowasser
May 16, 2025 19:30 3m 46s lowasser:permute-sums-commutative
lowasser:permute-sums-commutative
May 16, 2025 19:30 3m 46s
Sums and products over arbitrary finite types agda-unimath CI #10169: Pull request #1367 ready_for_review by lowasser
May 16, 2025 19:19 3m 40s lowasser:permute-sums-commutative
lowasser:permute-sums-commutative
May 16, 2025 19:19 3m 40s
Sums and products over arbitrary finite types agda-unimath CI #10168: Pull request #1367 synchronize by lowasser
May 16, 2025 19:19 3s lowasser:permute-sums-commutative
lowasser:permute-sums-commutative
May 16, 2025 19:19 3s
Sums and products over arbitrary finite types agda-unimath CI #10167: Pull request #1367 synchronize by lowasser
May 16, 2025 19:19 1m 2s lowasser:permute-sums-commutative
lowasser:permute-sums-commutative
May 16, 2025 19:19 1m 2s
Sums and products over arbitrary finite types agda-unimath CI #10166: Pull request #1367 synchronize by lowasser
May 16, 2025 18:56 3m 26s lowasser:permute-sums-commutative
lowasser:permute-sums-commutative
May 16, 2025 18:56 3m 26s
Sums and products over arbitrary finite types agda-unimath CI #10165: Pull request #1367 synchronize by lowasser
May 16, 2025 18:38 5m 22s lowasser:permute-sums-commutative
lowasser:permute-sums-commutative
May 16, 2025 18:38 5m 22s
Lipschitz-continuous functions between metric spaces agda-unimath CI #10164: Pull request #1417 synchronize by malarbol
May 16, 2025 16:24 4m 8s malarbol:Lipschitz-functions-metric-spaces
malarbol:Lipschitz-functions-metric-spaces
May 16, 2025 16:24 4m 8s
Lipschitz-continuous functions between metric spaces agda-unimath CI #10163: Pull request #1417 synchronize by malarbol
May 16, 2025 16:23 1m 8s malarbol:Lipschitz-functions-metric-spaces
malarbol:Lipschitz-functions-metric-spaces
May 16, 2025 16:23 1m 8s
Lipschitz-continuous functions between metric spaces agda-unimath CI #10162: Pull request #1417 synchronize by malarbol
May 16, 2025 16:04 3m 46s malarbol:Lipschitz-functions-metric-spaces
malarbol:Lipschitz-functions-metric-spaces
May 16, 2025 16:04 3m 46s
Lipschitz-continuous functions between metric spaces agda-unimath CI #10161: Pull request #1417 synchronize by malarbol 10000
May 16, 2025 16:01 2m 29s malarbol:Lipschitz-functions-metric-spaces
malarbol:Lipschitz-functions-metric-spaces
May 16, 2025 16:01 2m 29s
Lipschitz-continuous functions between metric spaces agda-unimath CI #10160: Pull request #1417 synchronize by malarbol
May 16, 2025 16:00 1m 24s malarbol:Lipschitz-functions-metric-spaces
malarbol:Lipschitz-functions-metric-spaces
May 16, 2025 16:00 1m 24s
Lipschitz-continuous functions between metric spaces agda-unimath CI #10159: Pull request #1417 synchronize by malarbol
May 16, 2025 16:00 56s malarbol:Lipschitz-functions-metric-spaces
malarbol:Lipschitz-functions-metric-spaces
May 16, 2025 16:00 56s
Work on monads and ordinary precategory adjunctions agda-unimath CI #10158: Pull request #1427 synchronize by ben-connors
May 16, 2025 15:31 Action required ben-connors:monadpr
ben-connors:monadpr
May 16, 2025 15:31 Action required
Work on monads and ordinary precategory adjunctions agda-unimath CI #10157: Pull request #1427 synchronize by ben-connors
May 16, 2025 15:28 Action required ben-connors:monadpr
ben-connors:monadpr
May 16, 2025 15:28 Action required
Work on monads and ordinary precategory adjunctions agda-unimath CI #10156: Pull request #1427 synchronize by ben-connors
May 16, 2025 15:25 Action required ben-connors:monadpr
ben-connors:monadpr
May 16, 2025 15:25 Action required
Add graph legend (#1363) agda-unimath CI #10155: Commit c33a72e pushed by fredrik-bakke
May 16, 2025 12:28 3m 13s master
master
May 16, 2025 12:28 3m 13s
Add graph legend Clean up caches generated by pull requests #667: Pull request #1363 closed by fredrik-bakke
May 16, 2025 12:28 12s fredrik-bakke:art/graph3
fredrik-bakke:art/graph3
May 16, 2025 12:28 12s
Add graph legend (#1363) Profile Library Typechecking #265: Commit c33a72e pushed by fredrik-bakke
May 16, 2025 12:28 13m 7s master
master
May 16, 2025 12:28 13m 7s
Add graph legend (#1363) Build and deploy library website #723: 2F79 Commit c33a72e pushed by fredrik-bakke
May 16, 2025 12:28 6m 46s master
master
May 16, 2025 12:28 6m 46s
0