Skip to content

Actions: malarbol/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Definition of ordinals (#1159) Build and deploy library website #22: Commit 185b2ea pushed by malarbol
August 10, 2024 15:50 28m 3s master
master
August 10, 2024 15:50 28m 3s
Definition of ordinals (#1159) agda-unimath CI #22: Commit 185b2ea pushed by malarbol
August 10, 2024 15:50 21m 52s master
master
August 10, 2024 15:50 21m 52s
Definition of ordinals (#1159) Profile Library Typechecking #13: Commit 185b2ea pushed by malarbol
August 10, 2024 15:50 10m 50s master
master
August 10, 2024 15:50 10m 50s
chore: Fix some typos in the wild-category-theory module (#1158) Profile Library Typechecking #12: Commit 98119d7 pushed by malarbol
July 13, 2024 14:18 10m 43s master
master
July 13, 2024 14:18 10m 43s
chore: Fix some typos in the wild-category-theory module (#1158) Build and deploy library website #21: Commit 98119d7 pushed by malarbol
July 13, 2024 14:18 27m 39s master
master
July 13, 2024 14:18 27m 39s
chore: Fix some typos in the wild-category-theory module (#1158) agda-unimath CI #21: Commit 98119d7 pushed by malarbol
July 13, 2024 14:18 21m 26s master
master
July 13, 2024 14:18 21m 26s
Fixing a link (#1135) Profile Library Typechecking #11: Commit 09efc0f pushed by malarbol
May 3, 2024 16:51 10m 22s master
master
May 3, 2024 16:51 10m 22s
Fixing a link (#1135) Build and deploy library website #20: Commit 09efc0f pushed by malarbol
May 3, 2024 16:51 12m 52s master
master
May 3, 2024 16:51 12m 52s
Fixing a link (#1135) agda-unimath CI #20: Commit 09efc0f pushed by malarbol
May 3, 2024 16:51 11m 48s master
master
May 3, 2024 16:51 11m 48s
Pin macOS version to one with Intel runners (#1131) agda-unimath CI #19: Commit 2f51298 pushed by malarbol
April 29, 2024 15:39 17m 9s master
master
April 29, 2024 15:39 17m 9s
Pin macOS version to one with Intel runners (#1131) Profile Library Typechecking #10: Commit 2f51298 pushed by malarbol
April 29, 2024 15:39 10m 44s master
master
April 29, 2024 15:39 10m 44s
Pin macOS version to one with Intel runners (#1131) Build and deploy library website #19: Commit 2f51298 pushed by malarbol
April 29, 2024 15:39 10m 5s master
master
April 29, 2024 15:39 10m 5s
The discrete field of rational numbers (#1111) Build and deploy library website #18: Commit 83e59f9 pushed by malarbol
April 25, 2024 21:26 48m 30s master
master
April 25, 2024 21:26 48m 30s
The discrete field of rational numbers (#1111) Profile Library Typechecking #9: Commit 83e59f9 pushed by malarbol
April 25, 2024 21:26 10m 39s master
master
April 25, 2024 21:26 10m 39s
The discrete field of rational numbers (#1111) agda-unimath CI #18: Commit 83e59f9 pushed by malarbol
April 25, 2024 21:26 47m 8s master
master
April 25, 2024 21:26 47m 8s
Adding explicit zero algebras (#1095) Profile Library Typechecking #8: Commit c6939e9 pushed by malarbol
April 12, 2024 01:25 10m 15s master
master
April 12, 2024 01:25 10m 15s
Adding explicit zero algebras (#1095) agda-unimath CI #17: Commit c6939e9 pushed by malarbol
April 12, 2024 01:25 2m 58s master
master
April 12, 2024 01:25 2m 58s
Adding explicit zero algebras (#1095) Build and deploy library website #17: Commit c6939e9 pushed by malarbol
April 12, 2024 01:25 8m 34s master
master
April 12, 2024 01:25 8m 34s
The commutative ring of rational numbers (#1107) agda-unimath CI #16: Commit 511dadd pushed by malarbol
April 11, 2024 16:14 16m 46s master
master
April 11, 2024 16:14 16m 46s
The commutative ring of rational numbers (#1107) Profile Library Typechecking #7: Commit 511dadd pushed by malarbol
April 11, 2024 16:14 10m 14s master
master
April 11, 2024 16:14 10m 14s
The commutative ring of rational numbers (#1107) Build and deploy library website #16: Commit 511dadd pushed by malarbol
April 11, 2024 16:14 21m 46s master
master
April 11, 2024 16:14 21m 46s
Shifts and unshifts of concepts around sequential colimits (#1070) Profile Library Typechecking #6: Commit 20569c1 pushed by malarbol
April 10, 2024 15:28 10m 15s master
master
April 10, 2024 15:28 10m 15s
Shifts and unshifts of concepts around sequential colimits (#1070) agda-unimath CI #15: Commit 20569c1 pushed by malarbol
April 10, 2024 15:28 3m 7s master
master
April 10, 2024 15:28 3m 7s
Shifts and unshifts of concepts around sequential colimits (#1070) Build and deploy library website #15: Commit 20569c1 pushed by malarbol
April 10, 2024 15:28 7m 55s master
master
April 10, 2024 15:28 7m 55s
The additive group of rational numbers (#1100) agda-unimath CI #14: Commit 1b01393 pushed by malarbol
April 10, 2024 01:08 11m 5s master
master
April 10, 2024 01:08 11m 5s