Skip to content

Actions: UniMath/Schools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make CI work for the coq files CI #61: Pull request #52 opened by arnoudvanderleer
August 17, 2024 15:52 8m 24s arnoudvanderleer:CI
arnoudvanderleer:CI
August 17, 2024 15:52 8m 24s
add links from Learning Materials page to School pages CI #60: Commit 40ffe12 pushed by cangiuli
August 4, 2024 18:35 16s master
master
August 4, 2024 18:35 16s
pages build and deployment pages-build-deployment #43: by cangiuli
August 4, 2024 18:35 44s
August 4, 2024 18:35 44s
Add the new tests to the exercises file. CI #59: Commit a273b73 pushed by cangiuli
August 2, 2024 15:10 13s master
master
August 2, 2024 15:10 13s
pages build and deployment pages-build-deployment #42: by cangiuli
August 2, 2024 15:10 45s
August 2, 2024 15:10 45s
Fix Lecture 2 solution of Zadd, thanks to Dever Kemme Nash. CI #58: Commit fee07c2 pushed by cangiuli
August 2, 2024 15:09 15s master
master
August 2, 2024 15:09 15s
pages build and deployment pages-build-deployment #41: by cangiuli
August 2, 2024 15:09 49s
August 2, 2024 15:09 49s
Add links to 2024 lecturers' websites. CI #57: Commit 184bbf9 pushed by cangiuli
August 2, 2024 14:36 23s master
master
August 2, 2024 14:36 23s
pages build and deployment pages-build-deployment #40: by cangiuli
August 2, 2024 14:36 46s
August 2, 2024 14:36 46s
Add Favonia's exercises/solutions. CI #56: Commit 31c8d59 pushed by cangiuli
August 2, 2024 14:26 27s master
master
August 2, 2024 14:26 27s
pages build and deployment pages-build-deployment #39: by cangiuli
August 2, 2024 14:26 48s
August 2, 2024 14:26 48s
add one exercise/solution for lecture 5 CI #55: Commit 6b9cf8c pushed by cangiuli
August 1, 2024 16:28 14s master
master
August 1, 2024 16:28 14s
pages build and deployment pages-build-deployment #38: by cangiuli
August 1, 2024 16:28 43s
August 1, 2024 16:28 43s
ct 6 CI #54: Commit 1c7c748 pushed by benediktahrens
August 1, 2024 15:13 29s master
master
August 1, 2024 15:13 29s
pages build and deployment pages-build-deployment #37: by benediktahrens
August 1, 2024 15:13 1m 6s
August 1, 2024 15:13 1m 6s
exercises 5 CI #53: Commit 530dd97 pushed by benediktahrens
August 1, 2024 14:48 14s master
master
August 1, 2024 14:48 14s
pages build and deployment pages-build-deployment #36: by benediktahrens
August 1, 2024 14:48 46s
August 1, 2024 14:48 46s
Add Lecture 5 to README. CI #52: Commit 9dac4dc pushed by cangiuli
July 31, 2024 16:12 17s master
master
July 31, 2024 16:12 17s
pages build and deployment pages-build-deployment #35: by cangiuli
July 31, 2024 16:12 47s
July 31, 2024 16:12 47s
Add Minneapolis Lecture 5. CI #51: Commit 4618c6a pushed by cangiuli
July 31, 2024 16:10 16s master
master
July 31, 2024 16:10 16s
pages build and deployment pages-build-deployment #34: by cangiuli
July 31, 2024 16:10 43s
July 31, 2024 16:10 43s
correct typo CI #50: Commit e617364 pushed by benediktahrens
July 30, 2024 16:05 25s master
master
July 30, 2024 16:05 25s
pages build and deployment pages-build-deployment #33: by benediktahrens
July 30, 2024 16:05 50s
July 30, 2024 16:05 50s
lec 3 CI #49: Commit 1db9607 pushed by benediktahrens
July 30, 2024 16:03 14s master
master
July 30, 2024 16:03 14s
pages build and deployment pages-build-deployment #32: by benediktahrens
July 30, 2024 16:03 1m 6s
July 30, 2024 16:03 1m 6s