Skip to content

Actions: leanprover-community/quote4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
167 workflow runs
167 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

A few more bullets. ci #234: Commit 934c9e4 pushed by eric-wieser
July 19, 2024 21:26 40s docs
docs
July 19, 2024 21:26 40s
doc: Add module docstrings and info about ~q() ci #233: Pull request #47 synchronize by eric-wieser
July 14, 2024 23:27 45s docs
docs
July 14, 2024 23:27 45s
tidy newlines ci #232: Commit 173b37b pushed by eric-wieser
July 14, 2024 23:27 37s docs
docs
July 14, 2024 23:27 37s
doc: Add module docstrings and info about ~q() ci #231: Pull request #47 synchronize by eric-wieser
July 14, 2024 23:27 40s docs
docs
July 14, 2024 23:27 40s
more docstrings ci #230: Commit d12d4c8 pushed by eric-wieser
July 14, 2024 23:27 38s docs
docs
July 14, 2024 23:27 38s
doc: Add module docstrings and info about ~q() ci #229: Pull request #47 opened by eric-wieser
July 14, 2024 23:23 38s docs
docs
July 14, 2024 23:23 38s
doc: Add module docstrings and info about ~q() ci #228: Commit 1312e90 pushed by eric-wieser
July 14, 2024 23:22 35s docs
docs
July 14, 2024 23:22 35s
chore: switch from lakefile.lean to lakefile.toml ci #227: Pull request #46 opened by kim-em
July 1, 2024 02:30 44s toml
toml
July 1, 2024 02:30 44s
chore: switch from lakefile.lean to lakefile.toml ci #226: Commit 843c3cf pushed by kim-em
July 1, 2024 02:30 36s toml
toml
July 1, 2024 02:30 36s
chore: move to v4.9.0-rc1 (#44) ci #225: Commit a7bfa63 pushed by kim-em
June 7, 2024 19:52 39s master
master
June 7, 2024 19:52 39s
chore: move to v4.9.0-rc1 ci #224: Pull request #44 opened by kim-em
June 7, 2024 19:52 40s bump/v4.9.0
bump/v4.9.0
June 7, 2024 19:52 40s
move to v4.9.0-rc1 ci #223: Commit e672440 pushed by kim-em
June 7, 2024 19:52 39s bump/v4.9.0
bump/v4.9.0
June 7, 2024 19:52 39s
chore: adaptations for nightly-2024-05-09 (#43) ci #222: Commit 37946d5 pushed by kim-em
June 7, 2024 19:51 39s bump/v4.9.0
bump/v4.9.0
June 7, 2024 19:51 39s
chore: adaptations for nightly-2024-05-09 ci #221: Pull request #43 opened by kim-em
May 9, 2024 08:14 44s bump/nightly-2024-05-09
bump/nightly-2024-05-09
May 9, 2024 08:14 44s
chore: adaptations for nightly-2024-05-09 ci #220: Commit 7b978f6 pushed by kim-em
May 9, 2024 08:14 39s bump/nightly-2024-05-09
bump/nightly-2024-05-09
May 9, 2024 08:14 39s
feat: add lake-manifest.json, update .gitignore (#42) ci #219: Commit 5315667 pushed by kim-em
May 9, 2024 08:13 41s bump/v4.9.0
bump/v4.9.0
May 9, 2024 08:13 41s
bump toolchain ci #218: Commit 44f5761 pushed by kim-em
May 9, 2024 08:09 43s nightly-testing
nightly-testing
May 9, 2024 08:09 43s
fix ci #217: Commit 1a26cb8 pushed by kim-em
May 9, 2024 08:09 38s nightly-testing
nightly-testing
May 9, 2024 08:09 38s
fix ci #216: Commit 1a26cb8 pushed by kim-em
May 8, 2024 23:37 39s lean-pr-testing-4096
lean-pr-testing-4096
May 8, 2024 23:37 39s
fix ci #215: Commit fdc5e45 pushed by kim-em
May 8, 2024 23:33 34s lean-pr-testing-4096
lean-pr-testing-4096
May 8, 2024 23:33 34s
feat: add lake-manifest.json, update .gitignore (#42) ci #214: Commit 5315667 pushed by kim-em
May 4, 2024 07:02 34s master
master
May 4, 2024 07:02 34s
feat: add lake-manifest.json, update .gitignore ci #213: Pull request #42 opened by Shreyas4991
May 3, 2024 23:45 37s Shreyas4991:master
Shreyas4991:master
May 3, 2024 23:45 37s
chore: update .gitignore for modern lake (#40) ci #212: Commit 64365c6 pushed by eric-wieser
April 2, 2024 22:44 34s master
master
April 2, 2024 22:44 34s
chore: update .gitignore for modern lake ci #211: Pull request #40 synchronize by eric-wieser
April 2, 2024 22:43 39s update_gitignore
update_gitignore
April 2, 2024 22:43 39s
Update .gitignore ci #210: Commit 14d4521 pushed by eric-wieser
April 2, 2024 22:43 36s update_gitignore
update_gitignore
April 2, 2024 22:43 36s