Skip to content

Actions: alexkeizer/QPFTypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: feat: state machine encoding of Cofix build & test #299: Pull request #62 synchronize by alexkeizer
2m 47s statemachine
statemachine
2m 47s
refactor: eliminate BisimStates build & test #298: Commit 2539607 pushed by alexkeizer
2m 56s statemachine
statemachine
2m 56s
WIP: feat: state machine encoding of Cofix build & test #297: Pull request #62 synchronize by alexkeizer
2m 37s statemachine
statemachine
2m 37s
bit of progress build & test #296: Commit 9363191 pushed by alexkeizer
2m 19s statemachine
statemachine
2m 19s
WIP: feat: state machine encoding of Cofix build & test #295: Pull request #62 opened by alexkeizer
2m 21s statemachine
statemachine
2m 21s
feat: proof-of-concept state machine encoding build & test #294: Commit 85d4dcd pushed by alexkeizer
2m 37s statemachine
statemachine
2m 37s
WIP: this is broken build & test #293: Commit 99e10f1 pushed by alexkeizer
2m 23s pfunctor-equiv-tactic
pfunctor-equiv-tactic
2m 23s
feat: Vec delab (#61) build & test #292: Commit 2513863 pushed by Equilibris
2m 24s main
main
2m 24s
feat: Vec delab build & test #291: Pull request #61 synchronize by Equilibris
2m 25s add-vec-delab
add-vec-delab
2m 25s
refactor: remove line break build & test #290: Commit 86e3acd pushed by Equilibris
2m 25s add-vec-delab
add-vec-delab
2m 25s
feat: Vec delab build & test #289: Pull request #61 synchronize by Equilibris
2m 22s add-vec-delab
add-vec-delab
2m 22s
fix: remove [_;_] notation build & test #288: Commit 79b2563 pushed by Equilibris
2m 26s add-vec-delab
add-vec-delab
2m 26s
feat: Vec delab build & test #287: Pull request #61 synchronize by Equilibris
2m 23s add-vec-delab
add-vec-delab
2m 23s
refactor: remove unneeded abstraction build & test #286: Commit 304e14c pushed by Equilibris
2m 24s add-vec-delab
add-vec-delab
2m 24s
feat: Vec delab build & test #285: Pull request #61 opened by Equilibris
2m 32s add-vec-delab
add-vec-delab
2m 32s
feat: Vec delab build & test #284: Commit 45caf77 pushed by Equilibris
2m 54s add-vec-delab
add-vec-delab
2m 54s
chore: slightly clean List proof build & test #283: Commit 9b30817 pushed by alexkeizer
2m 29s pfunctor-equiv-tactic
pfunctor-equiv-tactic
2m 29s
chore: bump Lean to v4.23-rc2 (#60) build & test #282: Commit 32b1054 pushed by alexkeizer
2m 47s pfunctor-equiv-tactic
pfunctor-equiv-tactic
2m 47s
chore: bump Lean to v4.23-rc2 (#60) build & test #281: Commit 32b1054 pushed by alexkeizer
2m 29s main
main
2m 29s
chore: bump Lean to v4.23-rc2 build & test #280: Pull request #60 synchronize by alexkeizer
2m 32s bump-lean-v4-23
bump-lean-v4-23
2m 32s
reduce axiom build & test #279: Commit 1c8508b pushed by alexkeizer
2m 24s bump-lean-v4-23
bump-lean-v4-23
2m 24s
chore: bump Lean to v4.23-rc2 build & test #278: Pull request #60 opened by alexkeizer
2m 17s bump-lean-v4-23
bump-lean-v4-23
2m 17s
chore: bump Lean to v4.23-rc2 build & test #277: Commit 6b6b189 pushed by alexkeizer
2m 16s bump-lean-v4-23
bump-lean-v4-23
2m 16s
experiments build & test #276: Commit 8b1724c pushed by Equilibris
2m 12s experiemnts
experiemnts
2m 12s
feat: add propper code-gen and support for implicits build & test #275: Commit 296e410 pushed by Equilibris
2m 14s experiemnts
experiemnts
2m 14s