Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,285 workflow runs
1,285 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coq-record-updates.0.3.1 compiles with Coq 8.19+rc1 CI #468: Pull request #2867 opened by proux01
December 20, 2023 11:44 2m 40s proux01:record_update_819
proux01:record_update_819
December 20, 2023 11:44 2m 40s
Merge pull request #2866 from proux01/pocklington CI #467: Commit 9fefd40 pushed by proux01
December 20, 2023 11:37 2m 39s master
master
December 20, 2023 11:37 2m 39s
pocklington.8.12.0 compiles with Coq 8.17 and 8.18 CI #466: Pull request #2866 opened by proux01
December 20, 2023 10:50 2m 44s proux01:pocklington
proux01:pocklington
December 20, 2023 10:50 2m 44s
Merge pull request #2862 from Matafou/libhyps-2.0.8 CI #465: Commit 71a0ca6 pushed by palmskog
December 19, 2023 13:31 3m 17s master
master
December 19, 2023 13:31 3m 17s
Merge pull request #2864 from proux01/bignums819 CI #464: Commit 1eed1a4 pushed by proux01
December 19, 2023 10:53 2m 52s master
master
December 19, 2023 10:53 2m 52s
Merge pull request #2865 from proux01/paramcoq819 CI #463: Commit 5f9be1e pushed by proux01
December 19, 2023 10:46 2m 44s master
master
December 19, 2023 10:46 2m 44s
Add paramcoq 1.1.3+coq8.19 CI #462: Pull request #2865 opened by proux01
December 19, 2023 10:20 2m 35s proux01:paramcoq819
proux01:paramcoq819
December 19, 2023 10:20 2m 35s
Add bignums 9.0.0+coq8.19 CI #461: Pull request #2864 opened by proux01
December 19, 2023 10:20 2m 23s proux01:bignums819
proux01:bignums819
December 19, 2023 10:20 2m 23s
Merge pull request #2863 from SkySkimmer/v819rc1 CI #460: Commit 255f84c pushed by proux01
December 19, 2023 10:19 2m 39s master
master
December 19, 2023 10:19 2m 39s
packages for 8.19+rc1 CI #459: Pull request #2863 opened by SkySkimmer
December 19, 2023 09:19 2m 25s SkySkimmer:v819rc1
SkySkimmer:v819rc1
December 19, 2023 09:19 2m 25s
coq-libhyps v 2.0.8. unplugging especialize. CI #458: Pull request #2862 opened by Matafou
December 17, 2023 15:44 2m 20s Matafou:libhyps-2.0.8
Matafou:libhyps-2.0.8
December 17, 2023 15:44 2m 20s
coq-libhyps v 2.0.8. CI #457: Pull request #2861 opened by Matafou
December 17, 2023 15:12 2m 25s Matafou:libhyps-2.0.7
Matafou:libhyps-2.0.7
December 17, 2023 15:12 2m 25s
Merge pull request #2860 from palmskog/add-vlsm-1.3 CI #456: Commit d65d7fa pushed by palmskog
December 15, 2023 14:51 2m 44s master
master
December 15, 2023 14:51 2m 44s
add coq-vlsm.1.3 CI #455: Pull request #2860 synchronize by palmskog
December 15, 2023 14:00 2m 29s palmskog:add-vlsm-1.3
palmskog:add-vlsm-1.3
December 15, 2023 14:00 2m 29s
add coq-vlsm.1.3 CI #454: Pull request #2860 opened by palmskog
December 15, 2023 13:58 2m 25s palmskog:add-vlsm-1.3
palmskog:add-vlsm-1.3
December 15, 2023 13:58 2m 25s
Merge pull request #2859 from Matafou/libhyps-2.0.7 CI #453: Commit d3f096b pushed by palmskog
December 15, 2023 08:47 2m 54s master
master
December 15, 2023 08:47 2m 54s
coq-libhyps version 2.0.7. CI #452: Pull request #2859 opened by Matafou
December 15, 2023 07:42 2m 29s Matafou:libhyps-2.0.7
Matafou:libhyps-2.0.7
December 15, 2023 07:42 2m 29s
Merge pull request #2858 from vzaliva/master CI #451: Commit d57380b pushed by palmskog
December 13, 2023 20:11 3m 30s master
master
December 13, 2023 20:11 3m 30s
opam-switch v1.0.6 CI #450: Pull request #2858 opened by vzaliva
December 13, 2023 17:01 2m 44s vzaliva:master
vzaliva:master
December 13, 2023 17:01 2m 44s
Merge pull request #2857 from proux01/validsdp102 CI #449: Commit 040881f pushed by proux01
December 13, 2023 15:50 3m 4s master
master
December 13, 2023 15:50 3m 4s
ValidSDP 1.0.2 CI #448: Pull request #2857 synchronize by proux01
December 13, 2023 14:29 2m 28s proux01:validsdp102
proux01:validsdp102
December 13, 2023 14:29 2m 28s
ValidSDP 1.0.2 CI #447: Pull request #2857 opened by proux01
December 13, 2023 14:21 2m 33s proux01:validsdp102
proux01:validsdp102
December 13, 2023 14:21 2m 33s
Merge pull request #2856 from affeldt-aist/monae.0.6.0 CI #446: Commit 169cffe pushed by palmskog
December 10, 2023 19:39 3m 0s master
master
December 10, 2023 19:39 3m 0s
release monae 0.6.0 CI #445: Pull request #2856 opened by affeldt-aist
December 10, 2023 14:38 2m 34s affeldt-aist:monae.0.6.0
affeldt-aist:monae.0.6.0
December 10, 2023 14:38 2m 34s
Merge pull request #2855 from palmskog/refresh-coqide-dev CI #444: Commit 44115b5 pushed by palmskog
December 8, 2023 22:15 3m 11s master
master
December 8, 2023 22:15 3m 11s
ProTip! You can narrow down the results and go further in time using created:<2023-12-08 or the other filters available.