Skip to content

Actions: leanprover/LeroyCompilerVerificationCourse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: normalize whitespace around colons Lean Action CI #21: Pull request #8 opened by kim-em
51s kim-em:colon_spaces
kim-em:colon_spaces
51s
chore: use standard syntax (#7) Lean Action CI #20: Commit b19960c pushed by kim-em
58s main
main
58s
chore: use standard syntax Lean Action CI #19: Pull request #7 opened by kim-em
58s kim-em:syntax
kim-em:syntax
58s
chore: more grind (#6) Lean Action CI #18: Commit d3710ab pushed by kim-em
44s main
main
44s
chore: more grind Lean Action CI #17: Pull request #6 synchronize by kim-em
50s kim-em:more_grind
kim-em:more_grind
50s
chore: bump toolchain to v4.22.0-rc2 (#5) Lean Action CI #16: Commit 4fb33aa pushed by kim-em
55s main
main
55s
chore: more grind Lean Action CI #15: Pull request #6 opened by kim-em
35s kim-em:more_grind
kim-em:more_grind
35s
chore: bump toolchain to v4.22.0-rc2 Lean Action CI #14: Pull request #5 opened by kim-em
57s kim-em:bump_to_v4.22.0-rc2
kim-em:bump_to_v4.22.0-rc2
57s
chore: remove unnecessary import statements (#4) Lean Action CI #13: Commit 4cdb2ba pushed by kim-em
21s main
main
21s
chore: remove unnecessary import statements (#4) Lean Action CI #12: Commit 462e35b pushed by kim-em
34s main
main
34s
chore: remove unnecessary import statements Lean Action CI #11: Pull request #4 synchronize by kim-em
28s kim-em:cursor/remove-unnecessary-import-statements-1b0f
kim-em:cursor/remove-unnecessary-import-statements-1b0f
28s
chore: remove unnecessary import statements Lean Action CI #10: Pull request #4 synchronize by kim-em
27s kim-em:cursor/remove-unnecessary-import-statements-1b0f
kim-em:cursor/remove-unnecessary-import-statements-1b0f
27s
chore: remove unnecessary import statements Lean Action CI #9: Pull request #4 synchronize by kim-em
41s kim-em:cursor/remove-unnecessary-import-statements-1b0f
kim-em:cursor/remove-unnecessary-import-statements-1b0f
41s
Merge pull request #3 from kim-em/grind Lean Action CI #8: Commit ff07695 pushed by kim-em
42s main
main
42s
feat: initial compression of proofs using grind Lean Action CI #7: Pull request #3 opened by kim-em
41s kim-em:grind
kim-em:grind
41s
Merge pull request #2 from kim-em/copyright Lean Action CI #6: Commit dbf2a9b pushed by kim-em
39s main
main
39s
Merge pull request #1 from kim-em/silence_build Lean Action CI #5: Commit 73fbb7d pushed by kim-em
50s main
main
50s
chore: copyright headers Lean Action CI #4: Pull request #2 opened by kim-em
45s kim-em:copyright
kim-em:copyright
45s
chore: silence build Lean Action CI #3: Pull request #1 opened by kim-em
37s kim-em:silence_build
kim-em:silence_build
37s
chore: remove unnecessary mathlib dependency Lean Action CI #2: Commit 4577097 pushed by wkrozowski
51s main
main
51s
chore: add lean_action_ci.yml Lean Action CI #1: Commit 4db59fd pushed by wkrozowski
4m 36s main
main
4m 36s