Skip to content

Actions: UniMath/Schools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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