Skip to content

Actions: Convindix/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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
refactor(Vorspiel): rename clashing Matrix.map/forall_iff/exists_iff … CI #7: Commit b47cf44 pushed by Convindix
48m 23s master
master
48m 23s
add(FirstOrder/SetTheory): Some lemmas about functions (#846) CI #6: Commit 484e34c pushed by Convindix
7m 35s master
master
7m 35s
docs(Logic, Syntax/Predicate): Add and update some docstrings related… CI #5: Commit b91009a pushed by Convindix
22m 34s master
master
22m 34s
Merge branch 'master' into master CI #4: Commit c7bdeaf pushed by iehality
24m 41s master
master
24m 41s
Update as per iehality comment CI #3: Commit 9a4ab86 pushed by Convindix
7m 49s master
master
7m 49s
Merge branch 'FormalizedFormalLogic:master' into recursion Actionlint #4: Commit 221d24b pushed by Convindix
9s recursion-old
recursion-old
9s
Add more docstrings CI #2: Commit ed4d898 pushed by Convindix
7m 34s master
master
7m 34s
fix: resolve all linter.overlappingInstances warnings (#841) CI #1: Commit 87d4dd6 pushed by Convindix
44m 5s master
master
44m 5s
fix: resolve all linter.overlappingInstances warnings (#841) Actionlint #3: Commit 87d4dd6 pushed by Convindix
13s master
master
13s
Merge branch 'FormalizedFormalLogic:master' into recursion Actionlint #2: Commit b2faefe pushed by Convindix
14s recursion
recursion
14s
Update recursion branch, no sorries Actionlint #1: Commit 034e200 pushed by Convindix
13s graphless
graphless
13s