Skip to content

Actions: Skantz/UniMath

Actions

CI Build UniMath

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-unimath.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.
11 workflow runs
11 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
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
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
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
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
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