Skip to content

Actions: Skantz/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Build UniMath CI Build UniMath #23: Scheduled
September 2, 2024 02:05 42m 50s master
master
September 2, 2024 02:05 42m 50s
Scheduled build Scheduled build #10: Scheduled
September 1, 2024 02:54 1h 28m 29s master
master
September 1, 2024 02:54 1h 28m 29s
CI Build UniMath CI Build UniMath #22: Scheduled
August 26, 2024 02:00 3m 53s master
master
August 26, 2024 02:00 3m 53s
CI Build UniMath CI Build UniMath #21: Scheduled
August 19, 2024 02:00 3m 45s master
master
August 19, 2024 02:00 3m 45s
Scheduled build Scheduled build #9: Scheduled
August 15, 2024 02:34 1h 26m 25s master
master
August 15, 2024 02:34 1h 26m 25s
CI Build UniMath CI Build UniMath #20: Scheduled
August 12, 2024 02:01 43m 17s master
master
August 12, 2024 02:01 43m 17s
CI Build UniMath CI Build UniMath #19: Scheduled
August 5, 2024 01:59 1h 31m 9s master
master
August 5, 2024 01:59 1h 31m 9s
Scheduled build Scheduled build #8: Scheduled
August 1, 2024 02:40 1h 28m 19s master
master
August 1, 2024 02:40 1h 28m 19s
CI Build UniMath CI Build UniMath #18: Scheduled
July 29, 2024 01:59 42m 28s master
master
July 29, 2024 01:59 42m 28s
CI Build UniMath CI Build UniMath #17: Scheduled
July 22, 2024 02:00 44m 54s master
master
July 22, 2024 02:00 44m 54s
Scheduled build Scheduled build #7: Scheduled
July 15, 2024 02:38 1h 27m 37s master
master
July 15, 2024 02:38 1h 27m 37s
CI Build UniMath CI Build UniMath #16: Scheduled
July 15, 2024 02:00 44m 43s master
master
July 15, 2024 02:00 44m 43s
CI Build UniMath CI Build UniMath #15: Scheduled
July 8, 2024 01:56 52m 52s master
master
July 8, 2024 01:56 52m 52s
Scheduled build Scheduled build #6: Scheduled
July 1, 2024 02:39 1h 27m 59s master
master
July 1, 2024 02:39 1h 27m 59s
CI Build UniMath CI Build UniMath #14: Scheduled
July 1, 2024 02:02 3m 12s master
master
July 1, 2024 02:02 3m 12s
Univalence statements for double bicats (#1897) CI Build UniMath #13: Commit 5dd6800 pushed by Skantz
June 29, 2024 11:03 1h 29m 44s master
master
June 29, 2024 11:03 1h 29m 44s