Skip to content

Actions: felipeperet/mereology

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
Removing .gitignore Lean Action CI #4: Commit 07b2e5a pushed by felipeperet
12s main
main
12s
Update README.md Lean Action CI #3: Commit 1c834a5 pushed by felipeperet
10s main
main
10s
Primitive notion of apartness Lean Action CI #2: Commit 28fccb2 pushed by felipeperet
11s main
main
11s
Basic mereology Lean Action CI #1: Commit 16d667f pushed by felipeperet
17s main
main
17s