Skip to content

Actions: alexkeizer/QpfTypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Fix binder issue build & test #21: Commit 8ef357b pushed by Equilibris
June 24, 2024 13:24 1m 43s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 13:24 1m 43s
WIP: failing test case for universe polymorphism in Arrow.lean build & test #20: Commit 35e4f2f pushed by alexkeizer
May 23, 2024 17:39 1m 44s type-ascription
type-ascription
May 23, 2024 17:39 1m 44s
feat: allow minimal type ascription for (co)data build & test #19: Commit 95acafe pushed by alexkeizer
May 23, 2024 17:23 1m 43s type-ascription
type-ascription
May 23, 2024 17:23 1m 43s
chore: make tests less noisy build & test #18: Commit 9ae743a pushed by alexkeizer
May 23, 2024 15:13 1m 47s master
master
May 23, 2024 15:13 1m 47s
chore: make tests less noisy build & test #17: Pull request #14 opened by alexkeizer
May 23, 2024 15:12 1m 42s reduce-test-noise
reduce-test-noise
May 23, 2024 15:12 1m 42s
chore: make tests less noisy build & test #16: Commit b9ef186 pushed by alexkeizer
May 23, 2024 14:53 1m 47s reduce-test-noise
reduce-test-noise
May 23, 2024 14:53 1m 47s
Remove PFin2 (without universe polymorphism) build & test #15: Commit 9e8f20a pushed by monsterkrampe
May 23, 2024 12:08 1m 41s remove-pfin2-without-mathlib-changes
remove-pfin2-without-mathlib-changes
May 23, 2024 12:08 1m 41s
chore: delete fin_destr code build & test #14: Commit 1e0f7ea pushed by alexkeizer
May 20, 2024 17:34 1m 42s master
master
May 20, 2024 17:34 1m 42s
chore: remove fin_destr tactic build & test #13: Pull request #13 opened by alexkeizer
May 20, 2024 17:24 1m 49s remove-findestr
remove-findestr
May 20, 2024 17:24 1m 49s
chore: delete fin_destr code build & test #12: Commit 602c40e pushed by alexkeizer
May 20, 2024 17:23 2m 15s remove-findestr
remove-findestr
May 20, 2024 17:23 2m 15s
update std build & test #11: Commit a3949be pushed by alexkeizer
May 20, 2024 12:13 9m 44s remove-pfin2
remove-pfin2
May 20, 2024 12:13 9m 44s
feat: define a CODEOWNERS file for branch protection build & test #10: Commit c3874bc pushed by alexkeizer
May 18, 2024 00:40 1m 40s codeowners
codeowners
May 18, 2024 00:40 1m 40s
feat: define a CODEOWNERS file for branch protection build & test #9: Commit c3874bc pushed by alexkeizer
May 18, 2024 00:40 1m 41s master
master
May 18, 2024 00:40 1m 41s
Merge branch 'master' into remove-pfin2 build & test #8: Commit b8d2002 pushed by alexkeizer
May 18, 2024 00:16 4m 12s remove-pfin2
remove-pfin2
May 18, 2024 00:16 4m 12s
chore: upgrade to Lean v4.7.0 (#9) build & test #7: Commit 7faf44a pushed by alexkeizer
May 17, 2024 23:31 1m 39s master
master
May 17, 2024 23:31 1m 39s
chore: upgrade to Lean v4.7.0 build & test #6: Pull request #9 opened by alexkeizer
May 17, 2024 23:26 1m 40s upgrade-to-lean-v4.7
upgrade-to-lean-v4.7
May 17, 2024 23:26 1m 40s
chore: upgrade to Lean v4.7.0 build & test #5: Commit 789630c pushed by alexkeizer
May 17, 2024 23:26 1m 40s upgrade-to-lean-v4.7
upgrade-to-lean-v4.7
May 17, 2024 23:26 1m 40s
chore: upgrade to Lean v4.7.0 build & test #4: Commit 05ffcc5 pushed by alexkeizer
May 17, 2024 23:23 1m 52s upgrade-to-lean-v4.7
upgrade-to-lean-v4.7
May 17, 2024 23:23 1m 52s
feat: basic CI testing (#7) build & test #3: Commit 219d397 pushed by alexkeizer
February 20, 2024 20:26 1m 51s master
master
February 20, 2024 20:26 1m 51s
feat: basic CI testing build & test #2: Pull request #7 opened by alexkeizer
February 20, 2024 20:24 1m 38s setup-ci
setup-ci
February 20, 2024 20:24 1m 38s
feat: basic CI testing build & test #1: Commit 8c8a7eb pushed by alexkeizer
February 20, 2024 20:24 1m 39s setup-ci
setup-ci
February 20, 2024 20:24 1m 39s
ProTip! You can narrow down the results and go further in time using created:<2024-02-20 or the other filters available.