Skip to content

Actions: Lslightly-courses/lean-theorem-proving

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 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
update ex Lean Action CI #7: Commit 90802c7 pushed by Lslightly
18s main
main
18s
add type system axioms(useless) Lean Action CI #6: Commit 58ea23a pushed by Lslightly
16s main
main
16s
4 backup Lean Action CI #5: Commit bf8602c pushed by Lslightly
24s main
main
24s
add quantifiers and equality and tactic Lean Action CI #4: Commit 422b085 pushed by Lslightly
18s main
main
18s