Skip to content

Actions: reilabs/lampe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
451 workflow runs
451 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

try_imps_all tactic CI #176: Commit 94ed0fc pushed by utkn
December 5, 2024 17:33 4m 3s us/traits
us/traits
December 5, 2024 17:33 4m 3s
Trait support CI #175: Pull request #20 synchronize by utkn
December 5, 2024 16:14 4m 13s us/traits
us/traits
December 5, 2024 16:14 4m 13s
apply_impl and try_impls tactics CI #174: Commit 66c6e12 pushed by utkn
December 5, 2024 16:14 4m 10s us/traits
us/traits
December 5, 2024 16:14 4m 10s
Trait support CI #173: Pull request #20 synchronize by utkn
December 5, 2024 13:11 4m 7s us/traits
us/traits
December 5, 2024 13:11 4m 7s
auto impl resolver first iteration CI #172: Commit 0acd5f8 pushed by utkn
December 5, 2024 13:11 4m 8s us/traits
us/traits
December 5, 2024 13:11 4m 8s
Proof simplifications & additional lemmas CI #171: Pull request #21 synchronize by utkn
December 5, 2024 09:55 4m 0s us/additional-lemmas
us/additional-lemmas
December 5, 2024 09:55 4m 0s
proof simplifications in semantics CI #170: Commit 050b81c pushed by utkn
December 5, 2024 09:55 4m 6s us/additional-lemmas
us/additional-lemmas
December 5, 2024 09:55 4m 6s
Proof simplifications & additional lemmas CI #169: Pull request #21 opened by utkn
December 4, 2024 15:58 5m 8s us/additional-lemmas
us/additional-lemmas
December 4, 2024 15:58 5m 8s
some proof simplifications CI #168: Commit fd39af5 pushed by utkn
December 4, 2024 15:57 5m 8s us/additional-lemmas
us/additional-lemmas
December 4, 2024 15:57 5m 8s
Lambda support (#16) CI #167: Commit 327a194 pushed by utkn
December 4, 2024 14:20 4m 14s us/additional-lemmas
us/additional-lemmas
December 4, 2024 14:20 4m 14s
Trait support CI #166: Pull request #20 synchronize by utkn
December 4, 2024 14:19 4m 13s us/traits
us/traits
December 4, 2024 14:19 4m 13s
tactic additions CI #165: Commit a93bc20 pushed by utkn
December 4, 2024 14:19 4m 29s us/traits
us/traits
December 4, 2024 14:19 4m 29s
Trait support CI #164: Pull request #20 synchronize by utkn
December 3, 2024 13:02 4m 24s us/traits
us/traits
December 3, 2024 13:02 4m 24s
trait call syntax CI #163: Commit e6b3119 pushed by utkn
December 3, 2024 13:02 4m 40s us/traits
us/traits
December 3, 2024 13:02 4m 40s
Trait support CI #162: Pull request #20 synchronize by utkn
December 3, 2024 10:34 4m 21s us/traits
us/traits
December 3, 2024 10:34 4m 21s
constraint syntax CI #161: Commit a9fbf16 pushed by utkn
December 3, 2024 10:34 4m 25s us/traits
us/traits
December 3, 2024 10:34 4m 25s
Trait support CI #160: Pull request #20 opened by utkn
December 3, 2024 09:57 4m 19s us/traits
us/traits
December 3, 2024 09:57 4m 19s
generics in trait syntax CI #159: Commit 1cc71da pushed by utkn
December 3, 2024 09:56 4m 24s us/traits
us/traits
December 3, 2024 09:56 4m 24s
fixed the proofs to utilize the trait impls constructed with the new … CI #158: Commit 4e90467 pushed by utkn
December 2, 2024 17:45 4m 19s us/traits
us/traits
December 2, 2024 17:45 4m 19s
basic syntax with no generic support CI #157: Commit 6b062f6 pushed by utkn
December 2, 2024 17:22 4m 10s us/traits
us/traits
December 2, 2024 17:22 4m 10s
Merge branch 'main' of https://github.com/reilabs/lampe into us/traits CI #156: Commit 62d5f91 pushed by utkn
December 2, 2024 12:45 4m 18s us/traits
us/traits
December 2, 2024 12:45 4m 18s
trait syntax first iteration CI #155: Commit 1fb968c pushed by utkn
December 2, 2024 12:42 4m 17s us/traits
us/traits
December 2, 2024 12:42 4m 17s
Lambda support (#16) CI #154: Commit 327a194 pushed by utkn
December 2, 2024 12:38 4m 41s main
main
December 2, 2024 12:38 4m 41s
Lambda support CI #153: Pull request #16 synchronize by utkn
December 2, 2024 12:33 4m 19s us/lambdas
us/lambdas
December 2, 2024 12:33 4m 19s
small fix in the proof in the main CI #152: Commit 6c7d4f5 pushed by utkn
December 2, 2024 12:33 4m 26s us/lambdas
us/lambdas
December 2, 2024 12:33 4m 26s
ProTip! You can narrow down the results and go further in time using created:<2024-12-02 or the other filters available.