Skip to content

Actions: coq-community/corn

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
60 workflow runs
60 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
More notation deprecations Docker CI #57: Pull request #192 opened by anandadalton
May 24, 2023 16:40 20m 15s anandadalton:easy_fixes
anandadalton:easy_fixes
May 24, 2023 16:40 20m 15s
Merge pull request #191 from anandadalton/easy_fixes Docker CI #56: Commit e358180 pushed by spitters
May 22, 2023 19:22 19m 58s master
master
May 22, 2023 19:22 19m 58s
More deprecations of notation Docker CI #55: Pull request #191 opened by anandadalton
May 22, 2023 17:12 21m 35s anandadalton:easy_fixes
anandadalton:easy_fixes
May 22, 2023 17:12 21m 35s
Merge pull request #190 from anandadalton/easy_fixes Docker CI #54: Commit ad827d3 pushed by spitters
May 20, 2023 06:11 16m 7s master
master
May 20, 2023 06:11 16m 7s
Deprecate le_not_lt for Nat.le_ngt Docker CI #53: Pull request #190 synchronize by anandadalton
May 20, 2023 03:12 19m 29s anandadalton:easy_fixes
anandadalton:easy_fixes
May 20, 2023 03:12 19m 29s
Deprecate le_not_lt for Nat.le_ngt Docker CI #52: Pull request #190 synchronize by anandadalton
May 20, 2023 02:39 20m 25s anandadalton:easy_fixes
anandadalton:easy_fixes
May 20, 2023 02:39 20m 25s
Deprecate le_not_lt for Nat.le_ngt Docker CI #51: Pull request #190 opened by anandadalton
May 20, 2023 01:35 19m 18s anandadalton:easy_fixes
anandadalton:easy_fixes
May 20, 2023 01:35 19m 18s
Merge pull request #189 from anandadalton/easy_fixes Docker CI #50: Commit afa55ac pushed by spitters
May 19, 2023 11:57 19m 3s master
master
May 19, 2023 11:57 19m 3s
More notation deprecations. Docker CI #49: Pull request #189 synchronize by anandadalton
May 19, 2023 02:44 16m 10s anandadalton:easy_fixes
anandadalton:easy_fixes
May 19, 2023 02:44 16m 10s
More notation deprecations. Docker CI #48: Pull request #189 opened by anandadalton
May 18, 2023 16:16 19m 11s anandadalton:easy_fixes
anandadalton:easy_fixes
May 18, 2023 16:16 19m 11s
Merge pull request #188 from anandadalton/easy_fixes Docker CI #47: Commit 40b0790 pushed by spitters
May 18, 2023 08:35 20m 49s master
master
May 18, 2023 08:35 20m 49s
More fixes for deprecated notation warnings Docker CI #46: Pull request #188 opened by anandadalton
May 17, 2023 17:38 19m 38s anandadalton:easy_fixes
anandadalton:easy_fixes
May 17, 2023 17:38 19m 38s
Merge pull request #187 from anandadalton/easy_fixes Docker CI #45: Commit 8394538 pushed by spitters
May 17, 2023 07:53 19m 46s master
master
May 17, 2023 07:53 19m 46s
Remove more deprecated notations Docker CI #44: Pull request #187 opened by anandadalton
May 17, 2023 07:05 20m 11s anandadalton:easy_fixes
anandadalton:easy_fixes
May 17, 2023 07:05 20m 11s
Merge pull request #186 from anandadalton/lt_le_trans Docker CI #43: Commit 3a0d298 pushed by spitters
May 16, 2023 17:34 14m 32s master
master
May 16, 2023 17:34 14m 32s
Remove more deprecated notations. Docker CI #42: Pull request #186 opened by anandadalton
May 16, 2023 17:10 16m 5s anandadalton:lt_le_trans
anandadalton:lt_le_trans
May 16, 2023 17:10 16m 5s
Merge pull request #185 from anandadalton/lt_le_trans Docker CI #41: Commit e3c09ee pushed by spitters
May 16, 2023 07:33 15m 36s master
master
May 16, 2023 07:33 15m 36s
Replace deprecated proof components Docker CI #40: Pull request #185 synchronize by anandadalton
May 15, 2023 22:42 20m 39s anandadalton:lt_le_trans
anandadalton:lt_le_trans
May 15, 2023 22:42 20m 39s
Replace deprecated proof components Docker CI #39: Pull request #185 synchronize by anandadalton
May 15, 2023 19:04 15m 56s anandadalton:lt_le_trans
anandadalton:lt_le_trans
May 15, 2023 19:04 15m 56s
Replace deprecated proof components Docker CI #38: Pull request #185 synchronize by anandadalton
May 15, 2023 17:54 14m 49s anandadalton:lt_le_trans
anandadalton:lt_le_trans
May 15, 2023 17:54 14m 49s
Replace deprecated proof components Docker CI #37: Pull request #185 synchronize by anandadalton
May 15, 2023 17:16 19m 4s anandadalton:lt_le_trans
anandadalton:lt_le_trans
May 15, 2023 17:16 19m 4s
Replace deprecated proof components Docker CI #36: Pull request #185 synchronize by anandadalton
May 15, 2023 16:16 17m 27s anandadalton:lt_le_trans
anandadalton:lt_le_trans
May 15, 2023 16:16 17m 27s
Replace deprecated proof components Docker CI #35: Pull request #185 opened by anandadalton
May 15, 2023 14:42 16m 45s anandadalton:lt_le_trans
anandadalton:lt_le_trans
May 15, 2023 14:42 16m 45s
Merge pull request #184 from anandadalton/lt_le_trans Docker CI #34: Commit 6e6d375 pushed by spitters
May 14, 2023 14:30 20m 27s master
master
May 14, 2023 14:30 20m 27s
Replace max with Nat.max throughout. Docker CI #33: Pull request #184 opened by anandadalton
May 13, 2023 15:53 20m 41s anandadalton:lt_le_trans
anandadalton:lt_le_trans
May 13, 2023 15:53 20m 41s