Skip to content

Actions: UniMath/Schools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 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
pages build and deployment pages-build-deployment #46: by benediktahrens
September 10, 2024 18:08 57s
September 10, 2024 18:08 57s
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
pages build and deployment pages-build-deployment #45: by benediktahrens
August 30, 2024 19:42 49s
August 30, 2024 19:42 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
pages build and deployment pages-build-deployment #44: by benediktahrens
August 20, 2024 06:08 55s
August 20, 2024 06:08 55s
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
pages build and deployment pages-build-deployment #43: by cangiuli
August 4, 2024 18:35 44s
August 4, 2024 18:35 44s