Skip to content

Actions: rmatthes/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
housekeeping: get rid of two simple forms of warnings (#2094) CI Build UniMath #359: Commit cf4a064 pushed by rmatthes
1h 12m 40s master
master
1h 12m 40s
avoid CI failure after September 23 (#2093) CI Build UniMath #358: Commit 5c967c4 pushed by rmatthes
1h 11m 17s master
master
1h 11m 17s
housekeeping: avoid warning about missing Proof command (#2092) CI Build UniMath #357: Commit a1a73cb pushed by rmatthes
38m 53s master
master
38m 53s
minimal changes from coq to rocq in dune build config (#2091) CI Build UniMath #356: Commit d6e3a14 pushed by rmatthes
1h 11m 47s master
master
1h 11m 47s
fix unit type in comprehension categories (#2090) CI Build UniMath #355: Commit 70752c3 pushed by rmatthes
1h 4m 32s master
master
1h 4m 32s
CI Build UniMath CI Build UniMath #354: Scheduled
1m 5s master
master
1m 5s
CI Build UniMath CI Build UniMath #353: Scheduled
1m 4s master
master
1m 4s
CI Build UniMath CI Build UniMath #352: Scheduled
1m 7s master
master
1m 7s
Blacklist subproofs generated by abstract (#2089) CI Build UniMath #351: Commit 5ed6c6b pushed by rmatthes
1h 8m 48s master
master
1h 8m 48s
CI Build UniMath CI Build UniMath #350: Scheduled
1m 2s master
master
1m 2s
CI Build UniMath CI Build UniMath #349: Scheduled
1m 5s master
master
1m 5s
CI Build UniMath CI Build UniMath #348: Scheduled
1m 2s master
master
1m 2s
CI Build UniMath CI Build UniMath #347: Scheduled
57s master
master
57s
CI Build UniMath CI Build UniMath #346: Scheduled
1m 5s master
master
1m 5s
CI Build UniMath CI Build UniMath #345: Scheduled
59s master
master
59s
CI Build UniMath CI Build UniMath #344: Scheduled
1m 3s master
master
1m 3s
CI Build UniMath CI Build UniMath #343: Scheduled
1m 1s master
master
1m 1s
refinement of PR 2066 for the Foundations package (#2083) CI Build UniMath #342: Commit 46f8105 pushed by rmatthes
1h 7m 8s master
master
1h 7m 8s
Automation for Markov Categories (#2081) CI Build UniMath #341: Commit 70e9486 pushed by rmatthes
1h 7m 33s master
master
1h 7m 33s
CI Build UniMath CI Build UniMath #340: Scheduled
1m 18s master
master
1m 18s
Adapt to https://github.com/rocq-prover/rocq/pull/21609 (#2066) CI Build UniMath #339: Commit 1e7f0ed pushed by rmatthes
53m 41s master
master
53m 41s
CI Build UniMath CI Build UniMath #338: Scheduled
56m 0s master
master
56m 0s
CI Build UniMath CI Build UniMath #337: Scheduled
56m 32s master
master
56m 32s
CI Build UniMath CI Build UniMath #336: Scheduled
54m 47s master
master
54m 47s
CI Build UniMath CI Build UniMath #335: Scheduled
56m 15s master
master
56m 15s