Skip to content

Actions: amato-gianluca/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Scheduled build Scheduled build #6: Scheduled
July 1, 2023 03:04 1h 54m 14s universal-algebra
universal-algebra
July 1, 2023 03:04 1h 54m 14s
CI Build UniMath CI Build UniMath #13: Scheduled
June 19, 2023 02:15 1h 40m 22s universal-algebra
universal-algebra
June 19, 2023 02:15 1h 40m 22s
Scheduled build Scheduled build #5: Scheduled
June 15, 2023 02:38 2h 6m 22s universal-algebra
universal-algebra
June 15, 2023 02:38 2h 6m 22s