Skip to content

Actions: UniMath/Schools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-schools.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #87: Scheduled
November 28, 2024 05:43 3m 32s master
master
November 28, 2024 05:43 3m 32s
CI CI #86: Scheduled
November 21, 2024 05:42 1m 46s master
master
November 21, 2024 05:42 1m 46s
CI CI #85: Scheduled
November 14, 2024 05:41 3m 39s master
master
November 14, 2024 05:41 3m 39s
CI CI #84: Scheduled
November 7, 2024 05:40 3m 38s master
master
November 7, 2024 05:40 3m 38s
CI CI #83: Scheduled
October 31, 2024 05:41 3m 37s master
master
October 31, 2024 05:41 3m 37s
CI CI #82: Scheduled
October 24, 2024 05:41 1m 44s master
master
October 24, 2024 05:41 1m 44s
CI CI #81: Scheduled
October 17, 2024 05:42 1m 45s master
master
October 17, 2024 05:42 1m 45s
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