Skip to content

Actions: leanprover-community/quote4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: Add module docstrings and info about ~q() ci #235: Pull request #47 synchronize by eric-wieser
July 19, 2024 21:26 45s docs
docs
July 19, 2024 21:26 45s
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