Skip to content

Actions: jdchristensen/HoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
401 workflow runs
401 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Zigzag Construction CI #842: Pull request #34 synchronize by jdchristensen
December 17, 2024 21:42 19m 58s ThomatoTomato:ZigzagIdentity
ThomatoTomato:ZigzagIdentity
December 17, 2024 21:42 19m 58s
Merge pull request #2153 from doolster/InjectiveTypesPR CI #841: Commit d9f740d pushed by jdchristensen
December 17, 2024 18:26 20m 2s master
master
December 17, 2024 18:26 20m 2s
Sequences, Compact Types, Bar Induction CI #840: Pull request #35 synchronize by jdchristensen
December 17, 2024 17:33 19m 24s thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 17, 2024 17:33 19m 24s
Sequences, Compact Types, Bar Induction CI #839: Pull request #35 synchronize by jdchristensen
December 16, 2024 15:46 Action required thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 16, 2024 15:46 Action required
Sequences, Compact Types, Bar Induction CI #838: Pull request #35 synchronize by thchatzidiamantis
December 15, 2024 20:43 Action required thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 15, 2024 20:43 Action required
Sequences, Compact Types, Bar Induction CI #837: Pull request #35 synchronize by thchatzidiamantis
December 15, 2024 20:36 Action required thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 15, 2024 20:36 Action required
Sequences, Compact Types, Bar Induction CI #836: Pull request #35 synchronize by thchatzidiamantis
December 15, 2024 17:50 Action required thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 15, 2024 17:50 Action required
Sequences, Compact Types, Bar Induction CI #835: Pull request #35 synchronize by thchatzidiamantis
December 15, 2024 15:51 Action required thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 15, 2024 15:51 Action required
Sequences, Compact Types, Bar Induction CI #834: Pull request #35 synchronize by thchatzidiamantis
December 15, 2024 03:01 Action required thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 15, 2024 03:01 Action required
Sequences, Compact Types, Bar Induction CI #833: Pull request #35 synchronize by thchatzidiamantis
December 15, 2024 02:49 Action required thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 15, 2024 02:49 Action required
Integers as Higher Inductive Type implementation in Coq CI #832: Pull request #32 synchronize by heimerzieher
December 14, 2024 23:25 Action required heimerzieher:integers_hit
heimerzieher:integers_hit
December 14, 2024 23:25 Action required
Integers as Higher Inductive Type implementation in Coq CI #831: Pull request #32 synchronize by heimerzieher
December 14, 2024 23:20 Action required heimerzieher:integers_hit
heimerzieher:integers_hit
December 14, 2024 23:20 Action required
Integers as Higher Inductive Type implementation in Coq CI #830: Pull request #32 synchronize by heimerzieher
December 14, 2024 23:13 Action required heimerzieher:integers_hit
heimerzieher:integers_hit
December 14, 2024 23:13 Action required
Integers as Higher Inductive Type implementation in Coq CI #829: Pull request #32 synchronize by heimerzieher
December 14, 2024 23:11 Action required heimerzieher:integers_hit
heimerzieher:integers_hit
December 14, 2024 23:11 Action required
Colimit Results CI #828: Pull request #33 synchronize by jdchristensen
December 14, 2024 17:38 19m 9s ThomatoTomato:ColimitHITb
ThomatoTomato:ColimitHITb
December 14, 2024 17:38 19m 9s
Integers as Higher Inductive Type implementation in Coq CI #827: Pull request #32 synchronize by heimerzieher
December 14, 2024 14:46 18m 41s heimerzieher:integers_hit
heimerzieher:integers_hit
December 14, 2024 14:46 18m 41s
Integers as Higher Inductive Type implementation in Coq CI #826: Pull request #32 synchronize by heimerzieher
December 14, 2024 14:37 Action required heimerzieher:integers_hit
heimerzieher:integers_hit
December 14, 2024 14:37 Action required
Merge pull request #2154 from jdchristensen/cleanups CI #825: Commit bc2114e pushed by jdchristensen
December 13, 2024 21:46 19m 50s master
master
December 13, 2024 21:46 19m 50s
Types/Sigma: use sig_rec CI #824: Commit bc97e4f pushed by jdchristensen
December 13, 2024 20:04 19m 9s cleanups
cleanups
December 13, 2024 20:04 19m 9s
Sequences, Compact Types, Bar Induction CI #823: Pull request #35 synchronize by thchatzidiamantis
December 13, 2024 19:45 19m 51s thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 13, 2024 19:45 19m 51s
Sequences, Compact Types, Bar Induction CI #822: Pull request #35 opened by thchatzidiamantis
December 13, 2024 06:21 Action required thchatzidiamantis:ImpossiblePrograms_draft
thchatzidiamantis:ImpossiblePrograms_draft
December 13, 2024 06:21 Action required
Zigzag Construction CI #821: Pull request #34 opened by ben-connors
December 13, 2024 00:11 20m 11s ThomatoTomato:ZigzagIdentity
ThomatoTomato:ZigzagIdentity
December 13, 2024 00:11 20m 11s
Colimit Results CI #820: Pull request #33 opened by ben-connors
December 12, 2024 23:33 19m 42s ThomatoTomato:ColimitHITb
ThomatoTomato:ColimitHITb
December 12, 2024 23:33 19m 42s
Integers as Higher Inductive Type implementation in Coq CI #819: Pull request #32 synchronize by heimerzieher
December 12, 2024 23:14 2m 31s heimerzieher:integers_hit
heimerzieher:integers_hit
December 12, 2024 23:14 2m 31s
Integers as Higher Inductive Type implementation in Coq CI #818: Pull request #32 synchronize by heimerzieher
December 12, 2024 23:13 Action required heimerzieher:integers_hit
heimerzieher:integers_hit
December 12, 2024 23:13 Action required