Skip to content

Actions: aleksnanevski/opam-coq-archive

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removing remnants of coq-htt.dev CI #19: Commit 38dd0c3 pushed by aleksnanevski
November 1, 2024 15:25 2m 52s master
master
November 1, 2024 15:25 2m 52s
Merge pull request #3195 from jesper-bengtson/iris-4.3.0 CI #18: Commit 5ba18ef pushed by aleksnanevski
November 1, 2024 14:50 6m 6s master
master
November 1, 2024 14:50 6m 6s
Merge branch 'coq-htt.2.0.1' of github.com:aleksnanevski/opam-coq-arc… CI #17: Commit c4ee107 pushed by aleksnanevski
October 7, 2024 19:25 2m 41s coq-htt.2.0.1
coq-htt.2.0.1
October 7, 2024 19:25 2m 41s
Update released/packages/coq-htt/coq-htt.2.0.1/opam CI #16: Commit 2c7c99d pushed by aleksnanevski
October 7, 2024 19:22 2m 26s coq-htt.2.0.1
coq-htt.2.0.1
October 7, 2024 19:22 2m 26s
Update released/packages/coq-htt-core/coq-htt-core.2.0.1/opam CI #15: Commit 9fe8b97 pushed by aleksnanevski
October 7, 2024 19:22 2m 30s coq-htt.2.0.1
coq-htt.2.0.1
October 7, 2024 19:22 2m 30s
Reorganized dependencies so that coq-htt depends on coq-htt-core CI #14: Commit d33e690 pushed by aleksnanevski
October 7, 2024 18:52 2m 34s coq-htt.2.0.1
coq-htt.2.0.1
October 7, 2024 18:52 2m 34s
Merge pull request #3170 from aleksnanevski/coq-htt.2.0.0 CI #13: Commit 2bce8f9 pushed by aleksnanevski
October 7, 2024 18:42 2m 44s master
master
October 7, 2024 18:42 2m 44s
updating conflicts CI #12: Commit 849851d pushed by aleksnanevski
October 1, 2024 14:57 2m 33s coq-htt.2.0.0
coq-htt.2.0.0
October 1, 2024 14:57 2m 33s
changed conflics CI #11: Commit f7b5a95 pushed by aleksnanevski
October 1, 2024 14:56 2m 40s coq-htt.2.0.0
coq-htt.2.0.0
October 1, 2024 14:56 2m 40s
Merge pull request #3169 from aleksnanevski/coq-htt.2.0.0 CI #10: Commit 389661a pushed by aleksnanevski
October 1, 2024 14:54 2m 48s master
master
October 1, 2024 14:54 2m 48s
Update released/packages/coq-htt/coq-htt.2.0.0/opam CI #9: Commit d3546a7 pushed by aleksnanevski
September 30, 2024 14:36 3m 39s coq-htt.2.0.0
coq-htt.2.0.0
September 30, 2024 14:36 3m 39s
release coq-htt and coq-htt-core CI #8: Commit d797564 pushed by aleksnanevski
September 30, 2024 14:18 2m 39s coq-htt.2.0.0
coq-htt.2.0.0
September 30, 2024 14:18 2m 39s
Merge pull request #3168 from yforster/coq-library-undecidability+8.20 CI #7: Commit 10befd5 pushed by aleksnanevski
September 30, 2024 13:47 2m 44s master
master
September 30, 2024 13:47 2m 44s
Merge pull request #3166 from aleksnanevski/coq-fcsl-pcm.2.0.0 CI #6: Commit ef9522c pushed by aleksnanevski
September 27, 2024 20:17 2m 33s master
master
September 27, 2024 20:17 2m 33s
Update extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam CI #5: Commit 88212b1 pushed by aleksnanevski
September 27, 2024 16:46 2m 46s coq-fcsl-pcm.2.0.0
coq-fcsl-pcm.2.0.0
September 27, 2024 16:46 2m 46s
Merge pull request #3165 from affeldt-aist/analysis.1.4.0 CI #4: Commit 6e457c7 pushed by aleksnanevski
September 27, 2024 16:38 5m 49s master
master
September 27, 2024 16:38 5m 49s
changing dependencies for the dev version of coq-fcsl-pcm CI #3: Commit 1e3aa8d pushed by aleksnanevski
September 27, 2024 16:37 5m 27s coq-fcsl-pcm.2.0.0
coq-fcsl-pcm.2.0.0
September 27, 2024 16:37 5m 27s
Release coq-fcsl-pcm.2.0.0 CI #2: Commit 6b09cc1 pushed by aleksnanevski
September 18, 2024 14:18 2m 47s coq-fcsl-pcm.2.0.0
coq-fcsl-pcm.2.0.0
September 18, 2024 14:18 2m 47s
Merge pull request #3161 from palmskog/huffman-8.20 CI #1: Commit f14512e pushed by aleksnanevski
September 18, 2024 14:09 6m 22s master
master
September 18, 2024 14:09 6m 22s