Skip to content

Actions: mit-plv/bbv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/coq/coq/pull/19530 CI (Coq) #46: Pull request #51 opened by proux01
September 17, 2024 09:42 1m 49s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 09:42 1m 49s
Merge pull request #49 from andres-erbsen/zify-nat-by-default CI (Coq) #45: Commit c53d5b9 pushed by samuelgruetter
March 7, 2024 16:56 1m 12s v1.5
v1.5
March 7, 2024 16:56 1m 12s
Merge pull request #49 from andres-erbsen/zify-nat-by-default CI (Coq) #44: Commit c53d5b9 pushed by andres-erbsen
February 28, 2024 23:14 1m 15s master
master
February 28, 2024 23:14 1m 15s
adapt to coq/coq#18730 CI (Coq) #43: Pull request #49 opened by andres-erbsen
February 28, 2024 23:06 1m 21s andres-erbsen:zify-nat-by-default
andres-erbsen:zify-nat-by-default
February 28, 2024 23:06 1m 21s