Skip to content

Actions: SwampertX/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Point 'index' in CoqDocJS header to index.html MetaCoq CI #23: Commit aed5ef9 pushed by SwampertX
July 16, 2024 13:16 34m 0s patch-1
patch-1
July 16, 2024 13:16 34m 0s
Fixes Trace.v MetaCoq CI #22: Commit b6c36f7 pushed by SwampertX
May 16, 2024 13:32 34m 29s guard
guard
May 16, 2024 13:32 34m 29s
FIXME importation issues MetaCoq CI #21: Commit bcc29ab pushed by SwampertX
May 15, 2024 15:16 34m 38s guard
guard
May 15, 2024 15:16 34m 38s