Skip to content
This repository has been archived by the owner on Aug 6, 2024. It is now read-only.

Actions: giorgio93p/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Build UniMath CI Build UniMath #6: Scheduled
August 5, 2024 02:01 1h 31m 32s master
master
August 5, 2024 02:01 1h 31m 32s
Scheduled build Scheduled build #1: Scheduled
August 1, 2024 02:44 1h 29m 43s master
master
August 1, 2024 02:44 1h 29m 43s
CI Build UniMath CI Build UniMath #5: Scheduled
July 29, 2024 02:01 42m 48s master
master
July 29, 2024 02:01 42m 48s
CI Build UniMath CI Build UniMath #4: Scheduled
July 22, 2024 02:02 45m 11s master
master
July 22, 2024 02:02 45m 11s
adds 8.20 to the Coq versions for building UniMath (#1908) CI Build UniMath #3: Commit 8c85a86 pushed by giorgio93p
July 19, 2024 10:54 1h 30m 28s master
master
July 19, 2024 10:54 1h 30m 28s