Skip to content

Actions: rocq-community/coq-ext-lib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ci_test_dependants syntax Docker CI #72: Pull request #159 opened by Lysxia
17m 57s update-dependants
update-dependants
17m 57s
ci: Test explicit allow-list of dependants Docker CI #71: Commit 07d35df pushed by liyishuai
11m 13s master
master
11m 13s
ci: Test explicit allow-list of dependants Docker CI #70: Pull request #158 opened by Lysxia
9m 54s allow-list
allow-list
9m 54s
Add the latest Docker images to the CI. (#157) Docker CI #69: Commit dead440 pushed by SkySkimmer
1h 8m 40s master
master
1h 8m 40s
Add the latest Docker images to the CI. Docker CI #68: Pull request #157 synchronize by SkySkimmer
1h 21m 8s ppedrot:fix-rocq-docker-image
ppedrot:fix-rocq-docker-image
1h 21m 8s
Adapt to rocq-prover/rocq#21129. (#156) Docker CI #67: Commit 3dd62f8 pushed by ppedrot
1h 11m 29s master
master
1h 11m 29s
Add the latest Docker images to the CI. Docker CI #66: Pull request #157 reopened by SkySkimmer
1h 11m 5s ppedrot:fix-rocq-docker-image
ppedrot:fix-rocq-docker-image
1h 11m 5s
Add the latest Docker images to the CI. Docker CI #65: Pull request #157 synchronize by ppedrot
1h 13m 38s ppedrot:fix-rocq-docker-image
ppedrot:fix-rocq-docker-image
1h 13m 38s
Add the latest Docker images to the CI. Docker CI #64: Pull request #157 reopened by ppedrot
1h 8m 12s ppedrot:fix-rocq-docker-image
ppedrot:fix-rocq-docker-image
1h 8m 12s
Add the latest Docker images to the CI. Docker CI #63: Pull request #157 opened by ppedrot
1h 8m 44s ppedrot:fix-rocq-docker-image
ppedrot:fix-rocq-docker-image
1h 8m 44s
Adapt to rocq-prover/rocq#21129. Docker CI #62: Pull request #156 opened by ppedrot
1h 8m 25s ppedrot:intuition-stop-using-auto-with-star
ppedrot:intuition-stop-using-auto-with-star
1h 8m 25s
Fix pass in stateT and eitherT MonadWriter instances Docker CI #61: Pull request #154 opened by bamarsha
30m 17s bamarsha:pass
bamarsha:pass
30m 17s
pages build and deployment pages-build-deployment #13: by liyishuai
40s gh-pages
gh-pages
40s
Close stale issues and PRs Close stale issues and PRs #126: Scheduled
11s master
master
11s
Close stale issues and PRs Close stale issues and PRs #125: Scheduled
10s master
master
10s
Close stale issues and PRs Close stale issues and PRs #124: Scheduled
15s master
master
15s
Close stale issues and PRs Close stale issues and PRs #123: Scheduled
21s master
master
21s
Close stale issues and PRs Close stale issues and PRs #122: Scheduled
10s master
master
10s
Close stale issues and PRs Close stale issues and PRs #121: Scheduled
11s master
master
11s
Close stale issues and PRs Close stale issues and PRs #120: Scheduled
11s master
master
11s
Set Polymorphic Inductive Cumulativity Docker CI #60: Pull request #136 synchronize by liyishuai
1h 3m 33s JasonGross:cumul
JasonGross:cumul
1h 3m 33s
Close stale issues and PRs Close stale issues and PRs #119: Scheduled
11s master
master
11s
Close stale issues and PRs Close stale issues and PRs #118: Scheduled
16s master
master
16s
Close stale issues and PRs Close stale issues and PRs #117: Scheduled
16s master
master
16s
Close stale issues and PRs Close stale issues and PRs #116: Scheduled
16s master
master
16s