Skip to content

Actions: lastland/ClairvoyanceMonad

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
139 workflow runs
139 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add failed cv ClairvoyanceMonad #286: Commit d636501 pushed by nosewings
May 1, 2024 01:30 2m 51s cv-demand-stuck
cv-demand-stuck
May 1, 2024 01:30 2m 51s
Minor edits ClairvoyanceMonad #285: Commit 71ac5dc pushed by nosewings
May 1, 2024 01:23 3m 9s demand
demand
May 1, 2024 01:23 3m 9s
It is finished ClairvoyanceMonad #284: Commit 04a49c9 pushed by nosewings
April 29, 2024 12:38 3m 11s demand
demand
April 29, 2024 12:38 3m 11s
ImplicitQueue | well_defined_potential ClairvoyanceMonad #283: Commit 69b87da pushed by nosewings
April 28, 2024 21:23 3m 3s demand
demand
April 28, 2024 21:23 3m 3s
ImplicitQueue | monotonic_exec + reorganization ClairvoyanceMonad #282: Commit 74ef3bb pushed by nosewings
April 28, 2024 04:21 3m 4s demand
demand
April 28, 2024 04:21 3m 4s
ImplicitQueue | pushA_mon ClairvoyanceMonad #281: Commit d0065e1 pushed by nosewings
April 28, 2024 02:30 3m 2s demand
demand
April 28, 2024 02:30 3m 2s
More aggressive use of hammer tactics. ClairvoyanceMonad #280: Commit 99bcc47 pushed by lastland
April 26, 2024 23:11 3m 3s demand
demand
April 26, 2024 23:11 3m 3s
Tighten the bound of popD'_cost. ClairvoyanceMonad #279: Commit e028188 pushed by lastland
April 26, 2024 17:55 2m 23s demand
demand
April 26, 2024 17:55 2m 23s
Fix pd. ClairvoyanceMonad #278: Commit 805d743 pushed by lastland
April 26, 2024 06:36 2m 39s demand
demand
April 26, 2024 06:36 2m 39s
popD'_cost. ClairvoyanceMonad #277: Commit 20bb39f pushed by lastland
April 26, 2024 04:37 2m 40s demand
demand
April 26, 2024 04:37 2m 40s
Fix the debt function. (Perhaps) ClairvoyanceMonad #276: Commit ad97b7b pushed by lastland
April 26, 2024 02:36 2m 44s demand
demand
April 26, 2024 02:36 2m 44s
Checkpoint ClairvoyanceMonad #275: Commit 3c80125 pushed by nosewings
April 25, 2024 22:54 3m 0s demand
demand
April 25, 2024 22:54 3m 0s
Checkpoint ClairvoyanceMonad #274: Commit ad88767 pushed by nosewings
April 25, 2024 20:09 2m 41s demand
demand
April 25, 2024 20:09 2m 41s
ImplicitQueue | Prove popD_spec ClairvoyanceMonad #273: Commit c58c991 pushed by nosewings
April 22, 2024 05:57 2m 39s demand
demand
April 22, 2024 05:57 2m 39s
Partial popD'_spec ClairvoyanceMonad #272: Commit 27ce28e pushed by nosewings
April 20, 2024 21:58 2m 40s demand
demand
April 20, 2024 21:58 2m 40s
Compat with coq 8.19 ClairvoyanceMonad #271: Commit e6c3d87 pushed by Lysxia
April 19, 2024 13:40 2m 46s demand
demand
April 19, 2024 13:40 2m 46s
Hammer experiment. ClairvoyanceMonad #270: Commit bafe8cc pushed by lastland
April 18, 2024 23:27 2m 42s demand-hammer
demand-hammer
April 18, 2024 23:27 2m 42s
ImplicitQueue | Finish popD_approx ClairvoyanceMonad #269: Commit 4b00aa0 pushed by nosewings
April 18, 2024 06:54 2m 43s demand
demand
April 18, 2024 06:54 2m 43s
ImplicitQueue | Make pd work again ClairvoyanceMonad #268: Commit b06624f pushed by nosewings
April 11, 2024 20:46 2m 45s demand
demand
April 11, 2024 20:46 2m 45s
ImplicitQueue | Make push/pushA match more closely ClairvoyanceMonad #267: Commit 7ee71e8 pushed by nosewings
April 9, 2024 23:40 2m 38s demand
demand
April 9, 2024 23:40 2m 38s
ImplicitQueue | pushD_approx, pushD_spec ClairvoyanceMonad #266: Commit f0862b5 pushed by nosewings
April 9, 2024 23:25 2m 39s demand
demand
April 9, 2024 23:25 2m 39s
Refactor elpi patterns ClairvoyanceMonad #265: Commit 3fbc71e pushed by Lysxia
April 5, 2024 13:59 2m 54s demand
demand
April 5, 2024 13:59 2m 54s
Translate constructors ClairvoyanceMonad #264: Commit efca751 pushed by Lysxia
April 5, 2024 11:36 2m 38s demand
demand
April 5, 2024 11:36 2m 38s
Translation of force ClairvoyanceMonad #263: Commit b278450 pushed by Lysxia
April 4, 2024 17:14 3m 59s demand
demand
April 4, 2024 17:14 3m 59s
ImplicitQueue | Give pushD two type parameters ClairvoyanceMonad #262: Commit cb3a885 pushed by nosewings
April 2, 2024 22:07 2m 52s demand
demand
April 2, 2024 22:07 2m 52s