Skip to content

Actions: alexkeizer/QpfTypes

Actions

build & test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.14.0 (#59) build & test #273: Commit 3a33167 pushed by alexkeizer
December 18, 2024 15:09 2m 17s main
main
December 18, 2024 15:09 2m 17s
chore: bump toolchain to v4.14.0 build & test #272: Pull request #59 opened by alexkeizer
December 18, 2024 15:07 2m 7s bump-toolchain-4-14
bump-toolchain-4-14
December 18, 2024 15:07 2m 7s
fix elaboration code build & test #271: Commit 13dd278 pushed by alexkeizer
December 18, 2024 15:06 2m 19s bump-toolchain-4-14
bump-toolchain-4-14
December 18, 2024 15:06 2m 19s
formatting of Sum.lean build & test #270: Commit 583858e pushed by alexkeizer
December 18, 2024 14:45 1m 30s bump-toolchain-4-14
bump-toolchain-4-14
December 18, 2024 14:45 1m 30s
replace cast_trans with cast_cast build & test #269: Commit da1cc33 pushed by alexkeizer
December 18, 2024 14:22 1m 23s bump-toolchain-4-14
bump-toolchain-4-14
December 18, 2024 14:22 1m 23s
fix: config? -> optConfig build & test #268: Commit 8c4bb8d pushed by alexkeizer
December 18, 2024 14:21 1m 22s bump-toolchain-4-14
bump-toolchain-4-14
December 18, 2024 14:21 1m 22s
feat: Expr-level shape type definition (#58) build & test #267: Commit 72986a7 pushed by alexkeizer
December 18, 2024 13:54 2m 16s main
main
December 18, 2024 13:54 2m 16s
feat: Expr-level shape type definition build & test #266: Pull request #58 synchronize by alexkeizer
December 18, 2024 13:47 2m 4s shapetype
shapetype
December 18, 2024 13:47 2m 4s
remove WIP lines on equivalence proof build & test #265: Commit 3bee40d pushed by alexkeizer
December 18, 2024 13:47 2m 18s shapetype
shapetype
December 18, 2024 13:47 2m 18s
feat: Expr-level shape type definition build & test #264: Pull request #58 opened by alexkeizer
December 18, 2024 13:39 2m 13s shapetype
shapetype
December 18, 2024 13:39 2m 13s
add a not on what is(n't) implemented build & test #263: Commit 87c73ed pushed by alexkeizer
December 18, 2024 13:37 2m 4s shapetype
shapetype
December 18, 2024 13:37 2m 4s
cleanup build & test #262: Commit e044dc9 pushed by alexkeizer
December 18, 2024 13:33 2m 19s shapetype
shapetype
December 18, 2024 13:33 2m 19s
WIP: initial sketch of a procedure to derive equivalence between indu… build & test #261: Commit 3cb8458 pushed by alexkeizer
December 13, 2024 18:00 2m 5s shapetype
shapetype
December 13, 2024 18:00 2m 5s
WIP stash build & test #260: Commit e70c03a pushed by alexkeizer
December 13, 2024 03:06 1m 36s qpfExpr-abstraction
qpfExpr-abstraction
December 13, 2024 03:06 1m 36s
Implement ITrees manually build & test #259: Pull request #56 opened by Kiiyya
December 4, 2024 16:35 2m 18s Kiiyya:itree
Kiiyya:itree
December 4, 2024 16:35 2m 18s
Merge branch 'main' into qpfExpr-abstraction build & test #258: Commit 28acf23 pushed by alexkeizer
December 4, 2024 16:33 1m 29s qpfExpr-abstraction
qpfExpr-abstraction
December 4, 2024 16:33 1m 29s
WIP: stash commit build & test #257: Commit af1e5d7 pushed by alexkeizer
December 4, 2024 15:46 1m 31s qpfExpr-abstraction
qpfExpr-abstraction
December 4, 2024 15:46 1m 31s
refactor: remove IsPolynomial class (#55) build & test #256: Commit ad48d8e pushed by alexkeizer
December 4, 2024 15:45 2m 2s main
main
December 4, 2024 15:45 2m 2s
refactor: remove IsPolynomial class build & test #255: Pull request #55 synchronize by alexkeizer
December 4, 2024 15:43 2m 15s drop-ispolynomial
drop-ispolynomial
December 4, 2024 15:43 2m 15s
Merge branch 'main' into drop-ispolynomial build & test #254: Commit be8918c pushed by alexkeizer
December 4, 2024 15:43 2m 4s drop-ispolynomial
drop-ispolynomial
December 4, 2024 15:43 2m 4s
fix failing Comp test build & test #253: Commit 3a9cd03 pushed by alexkeizer
December 4, 2024 15:40 2m 4s drop-ispolynomial
drop-ispolynomial
December 4, 2024 15:40 2m 4s
fix failing Comp test build & test #252: Commit 541ff84 pushed by alexkeizer
December 4, 2024 15:39 1m 57s drop-ispolynomial
drop-ispolynomial
December 4, 2024 15:39 1m 57s
refactor: remove the MvQPF.IsPolynomial class build & test #251: Commit 08c6879 pushed by alexkeizer
December 4, 2024 15:28 2m 8s drop-ispolynomial
drop-ispolynomial
December 4, 2024 15:28 2m 8s
Apply suggestions from code review build & test #250: Commit 2585928 pushed by alexkeizer
December 4, 2024 15:19 2m 34s main
main
December 4, 2024 15:19 2m 34s
Fix: Make Prod' universe-polymorphic build & test #249: Pull request #52 synchronize by alexkeizer
December 4, 2024 15:16 2m 7s Kiiyya:fix-Prod-universe-poly
Kiiyya:fix-Prod-universe-poly
December 4, 2024 15:16 2m 7s