Skip to content

Actions: argumentcomputer/lurk

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,362 workflow runs
1,362 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Improve and update dependencies
Tests #387: Pull request #104 synchronize by huitseeker
June 24, 2024 08:32 43s switch_plonk
June 24, 2024 08:32 43s
chore: Improve and update dependencies
Tests #386: Pull request #104 opened by huitseeker
June 24, 2024 08:30 35s switch_plonk
June 24, 2024 08:30 35s
feat: Proving + Lookups + Memory (#51)
Tests #385: Commit fffb994 pushed by adr1anh
June 24, 2024 06:41 44s main
June 24, 2024 06:41 44s
Simplify Lair constraints
Tests #384: Pull request #102 synchronize by gabriel-barrett
June 22, 2024 11:43 1m 55s simplify-constraints
June 22, 2024 11:43 1m 55s
Simplify Lair constraints
Tests #383: Pull request #102 opened by gabriel-barrett
June 22, 2024 11:40 1m 49s simplify-constraints
June 22, 2024 11:40 1m 49s
Strict version of letrec
Tests #382: Pull request #87 synchronize by gabriel-barrett
June 22, 2024 11:07 1m 59s strict-letrec
June 22, 2024 11:07 1m 59s
Integrate ingress
Tests #381: Pull request #99 synchronize by gabriel-barrett
June 22, 2024 02:06 2m 4s integrate-ingress
June 22, 2024 02:06 2m 4s
Integrate ingress
Tests #380: Pull request #99 synchronize by gabriel-barrett
June 22, 2024 01:58 2m 0s integrate-ingress
June 22, 2024 01:58 2m 0s
Integrate ingress
Tests #379: Pull request #99 synchronize by gabriel-barrett
June 22, 2024 01:41 1m 52s integrate-ingress
June 22, 2024 01:41 1m 52s
Integrate ingress
Tests #378: Pull request #99 synchronize by gabriel-barrett
June 22, 2024 01:36 2m 5s integrate-ingress
June 22, 2024 01:36 2m 5s
Integrate ingress
Tests #377: Pull request #99 synchronize by gabriel-barrett
June 22, 2024 00:32 1m 52s integrate-ingress
June 22, 2024 00:32 1m 52s
Func call constraints
Tests #376: Pull request #100 opened by arthurpaulino
June 21, 2024 23:28 4m 38s ap/func-call-constraints
June 21, 2024 23:28 4m 38s
feat: Proving + Lookups + Memory
Tests #375: Pull request #51 synchronize by arthurpaulino
June 21, 2024 19:57 3m 50s ah/memory-constraints
June 21, 2024 19:57 3m 50s
Integrate ingress
Tests #374: Pull request #99 synchronize by arthurpaulino
June 21, 2024 19:49 2m 10s integrate-ingress
June 21, 2024 19:49 2m 10s
Integrate ingress
Tests #373: Pull request #99 opened by gabriel-barrett
June 21, 2024 19:04 1m 18s integrate-ingress
June 21, 2024 19:04 1m 18s
feat: Proving + Lookups + Memory
Tests #372: Pull request #51 synchronize by arthurpaulino
June 21, 2024 13:32 3m 56s ah/memory-constraints
June 21, 2024 13:32 3m 56s
feat: Proving + Lookups + Memory
Tests #371: Pull request #51 synchronize by arthurpaulino
June 21, 2024 10:57 4m 14s ah/memory-constraints
June 21, 2024 10:57 4m 14s
feat: Proving + Lookups + Memory
Tests #370: Pull request #51 synchronize by arthurpaulino
June 21, 2024 10:56 1m 14s ah/memory-constraints
June 21, 2024 10:56 1m 14s
feat: Proving + Lookups + Memory
Tests #369: Pull request #51 synchronize by arthurpaulino
June 21, 2024 10:31 3m 58s ah/memory-constraints
June 21, 2024 10:31 3m 58s
feat: Proving + Lookups + Memory
Tests #368: Pull request #51 synchronize by arthurpaulino
June 20, 2024 12:33 3m 24s ah/memory-constraints
June 20, 2024 12:33 3m 24s
feat: Proving + Lookups + Memory
Tests #367: Pull request #51 synchronize by arthurpaulino
June 20, 2024 12:14 3m 13s ah/memory-constraints
June 20, 2024 12:14 3m 13s
feat: Proving + Lookups + Memory
Tests #366: Pull request #51 synchronize by arthurpaulino
June 19, 2024 22:48 3m 17s ah/memory-constraints
June 19, 2024 22:48 3m 17s
fix implementations of MachineAir::included
Tests #365: Pull request #98 opened by arthurpaulino
June 19, 2024 22:45 4m 41s ap/memory-constraints
June 19, 2024 22:45 4m 41s
feat: Proving + Lookups + Memory
Tests #364: Pull request #51 synchronize by arthurpaulino
June 19, 2024 21:18 2m 33s ah/memory-constraints
June 19, 2024 21:18 2m 33s
feat: Proving + Lookups + Memory
Tests #363: Pull request #51 synchronize by arthurpaulino
June 19, 2024 21:13 2m 27s ah/memory-constraints
June 19, 2024 21:13 2m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-06-19 or the other filters available.