Skip to content

Actions: pa-ba/calc-comp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
add status badge Coq #2: Commit 9128681 pushed by pa-ba
December 11, 2023 20:16 1m 29s master
master
December 11, 2023 20:16 1m 29s
add GitHub Action to type check the repo Coq #1: Commit 875169f pushed by pa-ba
December 11, 2023 20:12 1m 37s master
master
December 11, 2023 20:12 1m 37s