Skip to content

Actions: amato-gianluca/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Build UniMath CI Build UniMath #32: Scheduled
February 10, 2025 02:11 1m 47s master
master
February 10, 2025 02:11 1m 47s
Merge pull request #1979 from arnoudvanderleer/documentation-broken-l… CI Build UniMath #31: Commit 1379c69 pushed by amato-gianluca
February 4, 2025 09:47 1h 41m 53s master
master
February 4, 2025 09:47 1h 41m 53s
CI Build UniMath CI Build UniMath #30: Scheduled
February 3, 2025 02:09 1h 42m 20s master
master
February 3, 2025 02:09 1h 42m 20s
Scheduled build Scheduled build #8: Scheduled
February 1, 2025 02:50 42m 47s master
master
February 1, 2025 02:50 42m 47s
CI Build UniMath CI Build UniMath #29: Scheduled
January 27, 2025 02:10 1h 12m 50s master
master
January 27, 2025 02:10 1h 12m 50s
CI Build UniMath CI Build UniMath #28: Scheduled
January 20, 2025 02:10 1h 41m 59s master
master
January 20, 2025 02:10 1h 41m 59s
Scheduled build Scheduled build #7: Scheduled
January 15, 2025 02:47 42m 49s master
master
January 15, 2025 02:47 42m 49s
CI Build UniMath CI Build UniMath #27: Scheduled
April 15, 2024 03:46 2h 0m 55s universal-algebra
universal-algebra
April 15, 2024 03:46 2h 0m 55s
CI Build UniMath CI Build UniMath #26: Scheduled
April 8, 2024 01:43 1h 26m 45s universal-algebra
universal-algebra
April 8, 2024 01:43 1h 26m 45s
CI Build UniMath CI Build UniMath #25: Scheduled
April 1, 2024 01:53 1h 15m 46s universal-algebra
universal-algebra
April 1, 2024 01:53 1h 15m 46s
CI Build UniMath CI Build UniMath #24: Scheduled
March 25, 2024 01:42 1h 16m 39s universal-algebra
universal-algebra
March 25, 2024 01:42 1h 16m 39s
CI Build UniMath CI Build UniMath #23: Scheduled
March 18, 2024 01:41 1h 16m 5s universal-algebra
universal-algebra
March 18, 2024 01:41 1h 16m 5s
CI Build UniMath CI Build UniMath #22: Scheduled
March 11, 2024 01:40 1h 16m 26s universal-algebra
universal-algebra
March 11, 2024 01:40 1h 16m 26s
CI Build UniMath CI Build UniMath #21: Scheduled
March 4, 2024 01:57 1h 16m 16s universal-algebra
universal-algebra
March 4, 2024 01:57 1h 16m 16s
CI Build UniMath CI Build UniMath #20: Scheduled
February 26, 2024 01:42 1h 18m 24s universal-algebra
universal-algebra
February 26, 2024 01:42 1h 18m 24s
CI Build UniMath CI Build UniMath #19: Scheduled
February 19, 2024 01:42 1h 29m 44s universal-algebra
universal-algebra
February 19, 2024 01:42 1h 29m 44s
CI Build UniMath CI Build UniMath #18: Scheduled
February 12, 2024 01:40 1h 19m 8s universal-algebra
universal-algebra
February 12, 2024 01:40 1h 19m 8s
uses Context consistenly (#1841) CI Build UniMath #17: Commit 0b85475 pushed by amato-gianluca
February 11, 2024 12:06 1h 26m 43s master
master
February 11, 2024 12:06 1h 26m 43s
CI Build UniMath CI Build UniMath #16: Scheduled
February 5, 2024 01:44 1h 52m 17s universal-algebra
universal-algebra
February 5, 2024 01:44 1h 52m 17s
Wtypes Cleanup cache from PR #1: Pull request #1 closed by amato-gianluca
January 29, 2024 16:41 15s
January 29, 2024 16:41 15s
Fix an identifier (#1830) CI Build UniMath #15: Commit 69ecbf1 pushed by amato-gianluca
January 29, 2024 16:39 1h 16m 36s master
master
January 29, 2024 16:39 1h 16m 36s
CI Build UniMath CI Build UniMath #14: Scheduled
January 29, 2024 01:41 1h 16m 40s universal-algebra
universal-algebra
January 29, 2024 01:41 1h 16m 40s