Skip to content

Actions: MevenBertrand/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

correcting the definition of noccur_between in Template MetaCoq CI #130: Commit dcad89f pushed by MevenBertrand
May 23, 2024 15:05 35m 54s correct-noccur-main
correct-noccur-main
May 23, 2024 15:05 35m 54s
correcting the definition of noccur_between in Template MetaCoq CI #129: Commit 4c4fc2a pushed by MevenBertrand
May 23, 2024 15:00 34m 46s correct-noccur
correct-noccur
May 23, 2024 15:00 34m 46s