Skip to content

Actions: coq/opam

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,326 workflow runs
1,326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Also install-glob in flocq CI #1302: Commit 25f5165 pushed by JasonGross
October 21, 2024 16:57 2m 32s flocq-glob
flocq-glob
October 21, 2024 16:57 2m 32s
Interval 4.11.1 CI #1301: Pull request #3186 opened by silene
October 21, 2024 16:29 2m 34s silene:interval-4.11.1
silene:interval-4.11.1
October 21, 2024 16:29 2m 34s
Merge pull request #3184 from raoxiaojia/coq-wasm.2.0.1 CI #1300: Commit a02ab03 pushed by palmskog
October 20, 2024 12:55 3m 8s master
master
October 20, 2024 12:55 3m 8s
Merge pull request #3185 from kyoDralliam/coq-smpl CI #1299: Commit fc3110c pushed by palmskog
October 20, 2024 08:32 3m 12s master
master
October 20, 2024 08:32 3m 12s
Release for coq-wasm.2.0.1 CI #1298: Pull request #3184 synchronize by palmskog
October 20, 2024 08:32 2m 38s raoxiaojia:coq-wasm.2.0.1
raoxiaojia:coq-wasm.2.0.1
October 20, 2024 08:32 2m 38s
add smpl for coq 8.20 CI #1297: Pull request #3185 opened by kyoDralliam
October 18, 2024 15:25 3m 22s kyoDralliam:coq-smpl
kyoDralliam:coq-smpl
October 18, 2024 15:25 3m 22s
Release for coq-wasm.2.0.1 CI #1296: Pull request #3184 synchronize by raoxiaojia
October 17, 2024 17:35 2m 38s raoxiaojia:coq-wasm.2.0.1
raoxiaojia:coq-wasm.2.0.1
October 17, 2024 17:35 2m 38s
Merge pull request #3182 from palmskog/test-ci CI #1295: Commit 44eb5a9 pushed by palmskog
October 17, 2024 16:45 2m 52s master
master
October 17, 2024 16:45 2m 52s
Release for coq-wasm.2.0.1 CI #1294: Pull request #3184 synchronize by raoxiaojia
October 17, 2024 16:05 2m 51s raoxiaojia:coq-wasm.2.0.1
raoxiaojia:coq-wasm.2.0.1
October 17, 2024 16:05 2m 51s
Release for coq-wasm.2.0.1 CI #1293: Pull request #3184 synchronize by raoxiaojia
October 17, 2024 15:44 2m 33s raoxiaojia:coq-wasm.2.0.1
raoxiaojia:coq-wasm.2.0.1
October 17, 2024 15:44 2m 33s
Release for coq-wasm.2.0.1 CI #1292: Pull request #3184 opened by raoxiaojia
October 17, 2024 12:40 2m 32s raoxiaojia:coq-wasm.2.0.1
raoxiaojia:coq-wasm.2.0.1
October 17, 2024 12:40 2m 32s
remove redundancy from bound declaration CI #1291: Pull request #3182 synchronize by palmskog
October 16, 2024 16:37 2m 32s palmskog:test-ci
palmskog:test-ci
October 16, 2024 16:37 2m 32s
Merge pull request #3183 from coq/remove-gitlab-com-tags CI #1290: Commit ddaf189 pushed by Zimmi48
October 16, 2024 15:26 4m 29s master
master
October 16, 2024 15:26 4m 29s
Remove leftover GitLab.com tag. CI #1289: Pull request #3183 opened by Zimmi48
October 16, 2024 14:40 2m 41s remove-gitlab-com-tags
remove-gitlab-com-tags
October 16, 2024 14:40 2m 41s
Remove leftover GitLab.com tag. CI #1288: Commit f5d84ad pushed by Zimmi48
October 16, 2024 14:40 2m 55s remove-gitlab-com-tags
remove-gitlab-com-tags
October 16, 2024 14:40 2m 55s
remove redundancy from bound declaration CI #1287: Pull request #3182 synchronize by palmskog
October 16, 2024 14:39 2m 34s palmskog:test-ci
palmskog:test-ci
October 16, 2024 14:39 2m 34s
remove redundancy from bound declaration CI #1286: Pull request #3182 opened by palmskog
October 16, 2024 14:15 2m 57s palmskog:test-ci
palmskog:test-ci
October 16, 2024 14:15 2m 57s
Merge pull request #3181 from coq/test-tags CI #1285: Commit c472754 pushed by Zimmi48
October 16, 2024 14:03 2m 53s master
master
October 16, 2024 14:03 2m 53s
Introduce tags for Inria GitLab CI. CI #1284: Pull request #3181 opened by Zimmi48
October 16, 2024 12:36 2m 46s test-tags
test-tags
October 16, 2024 12:36 2m 46s
Introduce tags for Inria GitLab CI. CI #1283: Commit 0b76465 pushed by Zimmi48
October 16, 2024 12:35 2m 38s test-tags
test-tags
October 16, 2024 12:35 2m 38s
Create coqbot.toml CI #1282: Commit c072efa pushed by mattam82
October 16, 2024 11:49 2m 33s mattam82-move-to-inria-gitlab
mattam82-move-to-inria-gitlab
October 16, 2024 11:49 2m 33s
Merge pull request #3180 from 4ever2/elm-extraction-8.20 CI #1281: Commit ad48495 pushed by palmskog
October 16, 2024 07:30 2m 55s master
master
October 16, 2024 07:30 2m 55s
coq-elm-extraction.0.1.0 works on Coq 8.20 CI #1280: Pull request #3180 opened by 4ever2
October 15, 2024 10:49 2m 37s 4ever2:elm-extraction-8.20
4ever2:elm-extraction-8.20
October 15, 2024 10:49 2m 37s
Merge pull request #3179 from affeldt-aist/infotheo.0.7.2fix CI #1279: Commit f00bc0f pushed by palmskog
October 12, 2024 19:26 3m 3s master
master
October 12, 2024 19:26 3m 3s
infotheo 0.7.2 no compatible with mathcomp-analysis 1.5.0 CI #1278: Pull request #3179 opened by affeldt-aist
October 12, 2024 14:46 2m 43s affeldt-aist:infotheo.0.7.2fix
affeldt-aist:infotheo.0.7.2fix
October 12, 2024 14:46 2m 43s