Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow run results
124 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coq-ollibs v2.0.5 CI #125: Pull request #2730 opened by olaure01
September 17, 2023 20:29 7m 4s olaure01:ollibs
olaure01:ollibs
September 17, 2023 20:29 7m 4s
Add coq-freesim 1.0.0 CI #124: Pull request #2728 synchronize by alxest
September 17, 2023 20:27 5m 52s alxest:coq-freesim
alxest:coq-freesim
September 17, 2023 20:27 5m 52s
Merge pull request #2729 from olaure01/yalla CI #123: Commit 01822fb pushed by palmskog
September 17, 2023 19:27 6m 51s master
master
September 17, 2023 19:27 6m 51s
Add coq-freesim 1.0.0 CI #122: Pull request #2728 synchronize by alxest
September 17, 2023 19:18 6m 5s alxest:coq-freesim
alxest:coq-freesim
September 17, 2023 19:18 6m 5s
[coq-yalla] extend version range to coq 8.18 CI #121: Pull request #2729 opened by olaure01
September 17, 2023 19:02 5m 43s olaure01:yalla
olaure01:yalla
September 17, 2023 19:02 5m 43s
Add coq-freesim 1.0.0 CI #120: Pull request #2728 opened by alxest
September 17, 2023 18:27 3m 31s alxest:coq-freesim
alxest:coq-freesim
September 17, 2023 18:27 3m 31s
Merge pull request #2726 from palmskog/elpi-8.18-released CI #119: Commit e403099 pushed by palmskog
September 13, 2023 20:13 10m 43s master
master
September 13, 2023 20:13 10m 43s
Merge pull request #2725 from palmskog/stalmarck-8.18-released CI #118: Commit b240ebd pushed by palmskog
September 13, 2023 20:04 6m 51s master
master
September 13, 2023 20:04 6m 51s
Merge pull request #2722 from palmskog/paramcoq-8.18-released CI #117: Commit 7f9497f pushed by palmskog
September 13, 2023 19:54 7m 3s master
master
September 13, 2023 19:54 7m 3s
Merge pull request #2724 from palmskog/atbr-8.18-released CI #116: Commit 35ab5f8 pushed by palmskog
September 13, 2023 19:53 6m 1s master
master
September 13, 2023 19:53 6m 1s
Merge pull request #2723 from palmskog/itauto-8.18-released CI #115: Commit 3f9749f pushed by palmskog
September 13, 2023 19:51 5m 57s master
master
September 13, 2023 19:51 5m 57s
Merge pull request #2719 from palmskog/bignums-8.18-released CI #114: Commit 921049f pushed by palmskog
September 13, 2023 19:51 5m 56s master
master
September 13, 2023 19:51 5m 56s
Merge pull request #2721 from palmskog/equations-8.18-released CI #113: Commit 80efddf pushed by palmskog
September 13, 2023 19:47 6m 11s master
master
September 13, 2023 19:47 6m 11s
move coq-elpi.1.19.0 to released CI #112: Pull request #2726 opened by palmskog
September 13, 2023 19:47 5m 57s palmskog:elpi-8.18-released
palmskog:elpi-8.18-released
September 13, 2023 19:47 5m 57s
Merge pull request #2720 from palmskog/aac-tactics-8.18-released CI #111: Commit e3332cd pushed by palmskog
September 13, 2023 19:43 5m 52s master
master
September 13, 2023 19:43 5m 52s
move stalmarck 8.18 packages to released CI #110: Pull request #2725 opened by palmskog
September 13, 2023 19:41 5m 49s palmskog:stalmarck-8.18-released
palmskog:stalmarck-8.18-released
September 13, 2023 19:41 5m 49s
move coq-atbr.8.18.0 to released CI #109: Pull request #2724 opened by palmskog
September 13, 2023 19:38 5m 45s palmskog:atbr-8.18-released
palmskog:atbr-8.18-released
September 13, 2023 19:38 5m 45s
move coq-itauto.8.18.0 to released CI #108: Pull request #2723 opened by palmskog
September 13, 2023 19:36 5m 43s palmskog:itauto-8.18-released
palmskog:itauto-8.18-released
September 13, 2023 19:36 5m 43s
move coq-paramcoq.1.1.3+coq8.18 to released CI #107: Pull request #2722 opened by palmskog
September 13, 2023 19:34 5m 40s palmskog:paramcoq-8.18-released
palmskog:paramcoq-8.18-released
September 13, 2023 19:34 5m 40s
move coq-equations.1.3+8.18 to released CI #106: Pull request #2721 opened by palmskog
September 13, 2023 19:32 5m 33s palmskog:equations-8.18-released
palmskog:equations-8.18-released
September 13, 2023 19:32 5m 33s
move coq-aac-tactics.8.18.0 to released CI #105: Pull request #2720 opened by palmskog
September 13, 2023 19:30 5m 53s palmskog:aac-tactics-8.18-released
palmskog:aac-tactics-8.18-released
September 13, 2023 19:30 5m 53s
move coq-bignums.9.0.0+coq8.18 to released CI #104: Pull request #2719 opened by palmskog
September 13, 2023 19:28 6m 39s palmskog:bignums-8.18-released
palmskog:bignums-8.18-released
September 13, 2023 19:28 6m 39s
Merge pull request #2718 from maximedenes/add-opam-www CI #103: Commit 44c70c2 pushed by maximedenes
September 13, 2023 08:41 5m 43s master
master
September 13, 2023 08:41 5m 43s
Update /www/index.html to a redirection CI #102: Pull request #2718 opened by maximedenes
September 13, 2023 08:26 5m 40s maximedenes:add-opam-www
maximedenes:add-opam-www
September 13, 2023 08:26 5m 40s
Merge pull request #2717 from maximedenes/add-opam-www CI #101: Commit 4e60eac pushed by maximedenes
September 13, 2023 06:28 5m 45s master
master
September 13, 2023 06:28 5m 45s