Skip to content

Actions: UniMath/Schools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-schools.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #80: Scheduled
October 10, 2024 05:41 1m 50s master
master
October 10, 2024 05:41 1m 50s
CI CI #79: Scheduled
October 3, 2024 05:41 1m 49s master
master
October 3, 2024 05:41 1m 49s
CI CI #78: Scheduled
September 26, 2024 05:41 3m 39s master
master
September 26, 2024 05:41 3m 39s
CI CI #77: Scheduled
September 19, 2024 05:40 3m 35s master
master
September 19, 2024 05:40 3m 35s
CI CI #76: Scheduled
September 12, 2024 05:40 3m 37s master
master
September 12, 2024 05:40 3m 37s
Merge pull request #54 from arnoudvanderleer/fix-variables CI #75: Commit 752abd3 pushed by benediktahrens
September 10, 2024 18:08 3m 42s master
master
September 10, 2024 18:08 3m 42s
Convert a Variables to two Admitted statements CI #74: Pull request #54 opened by arnoudvanderleer
September 6, 2024 13:59 3m 47s arnoudvanderleer:fix-variables
arnoudvanderleer:fix-variables
September 6, 2024 13:59 3m 47s
CI CI #73: Scheduled
September 5, 2024 05:40 1m 49s master
master
September 5, 2024 05:40 1m 49s
Merge pull request #53 from arnoudvanderleer/CI CI #72: Commit 56a8a9d pushed by benediktahrens
August 30, 2024 19:42 3m 49s master
master
August 30, 2024 19:42 3m 49s
Improve the build script, re-enable Search commands CI #71: Pull request #53 synchronize by arnoudvanderleer
August 28, 2024 19:20 1m 41s arnoudvanderleer:CI
arnoudvanderleer:CI
August 28, 2024 19:20 1m 41s
Improve the build script, re-enable Search commands CI #70: Pull request #53 synchronize by arnoudvanderleer
August 28, 2024 19:15 1m 44s arnoudvanderleer:CI
arnoudvanderleer:CI
August 28, 2024 19:15 1m 44s
Improve the build script, re-enable Search commands CI #69: Pull request #53 opened by arnoudvanderleer
August 28, 2024 19:08 3m 50s arnoudvanderleer:CI
arnoudvanderleer:CI
August 28, 2024 19:08 3m 50s
CI CI #68: Scheduled
August 27, 2024 02:43 5m 54s master
master
August 27, 2024 02:43 5m 54s
Merge pull request #52 from arnoudvanderleer/CI CI #67: Commit 47a11d2 pushed by benediktahrens
August 20, 2024 06:08 17m 40s master
master
August 20, 2024 06:08 17m 40s
Make CI work for the coq files CI #66: Pull request #52 synchronize by arnoudvanderleer
August 19, 2024 07:20 13m 34s arnoudvanderleer:CI
arnoudvanderleer:CI
August 19, 2024 07:20 13m 34s
Make CI work for the coq files CI #65: Pull request #52 synchronize by arnoudvanderleer
August 17, 2024 17:42 12m 50s arnoudvanderleer:CI
arnoudvanderleer:CI
August 17, 2024 17:42 12m 50s
Make CI work for the coq files CI #64: Pull request #52 synchronize by arnoudvanderleer
August 17, 2024 16:52 11m 6s arnoudvanderleer:CI
arnoudvanderleer:CI
August 17, 2024 16:52 11m 6s
Make CI work for the coq files CI #63: Pull request #52 synchronize by arnoudvanderleer
August 17, 2024 16:03 11m 13s arnoudvanderleer:CI
arnoudvanderleer:CI
August 17, 2024 16:03 11m 13s
Make CI work for the coq files CI #62: Pull request #52 synchronize by arnoudvanderleer
August 17, 2024 16:01 4m 12s arnoudvanderleer:CI
arnoudvanderleer:CI
August 17, 2024 16:01 4m 12s
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
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
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
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
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