Skip to content

Actions: yforster/template-coq

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

tmMkInductive should not be used in a tactic MetaCoq CI #163: Commit 3f7ea00 pushed by yforster
December 19, 2024 15:26 31m 40s tmMkInductive-in-tactic
tmMkInductive-in-tactic
December 19, 2024 15:26 31m 40s
Fix opacity issues in EqDec term MetaCoq CI #162: Commit 80b23c9 pushed by yforster
November 26, 2024 14:37 32m 55s fix-eqdec-opacity
fix-eqdec-opacity
November 26, 2024 14:37 32m 55s
update doc to mention 8.20 MetaCoq CI #161: Commit 0f288f5 pushed by yforster
November 22, 2024 13:07 32m 33s doc-8.20
doc-8.20
November 22, 2024 13:07 32m 33s
Fix quoting and unquoting of primitive strings (#1109) MetaCoq CI #160: Commit 3cbf404 pushed by yforster
October 30, 2024 14:05 32m 57s cherry-pick-tString
cherry-pick-tString
October 30, 2024 14:05 32m 57s
fix statement of wcbv standardization MetaCoq CI #159: Commit b66e834 pushed by yforster
October 29, 2024 15:47 34m 19s fix-standardization
fix-standardization
October 29, 2024 15:47 34m 19s