Skip to content

Actions: Mathias-Stout/Many-sorted-model-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 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
Name changes to folders Lean Action CI #64: Pull request #16 opened by JohnTheodoreNicholson
1m 43s public
public
1m 43s
Updates to folder names Lean Action CI #63: Commit 1310413 pushed by JohnTheodoreNicholson
1m 43s public
public
1m 43s
Merge pull request #15 from Mathias-Stout/mathlib_430-rc2 Lean Action CI #62: Commit af0c20f pushed by Mathias-Stout
4m 26s main
main
4m 26s
Merge pull request #15 from Mathias-Stout/mathlib_430-rc2 Create Release #4: Commit af0c20f pushed by Mathias-Stout
10s main
main
10s
Mathlib 430 rc2 Lean Action CI #61: Pull request #15 opened by Mathias-Stout
4m 38s mathlib_430-rc2
mathlib_430-rc2
4m 38s
Merge pull request #2 from Mathias-Stout/mathlib-bump Lean Action CI #60: Commit 7cfafac pushed by Mathias-Stout
5m 2s mathlib_430-rc2
mathlib_430-rc2
5m 2s
Merge pull request #14 from Mathias-Stout/API-updates Create Release #3: Commit 4cce85e pushed by Mathias-Stout
20s main
main
20s
Merge pull request #14 from Mathias-Stout/API-updates Lean Action CI #59: Commit 4cce85e pushed by Mathias-Stout
4m 52s main
main
4m 52s
Api updates Lean Action CI #58: Pull request #14 opened by Mathias-Stout
4m 33s API-updates
API-updates
4m 33s
Merge pull request #13 from jonasvanderschaaf/API-updates Lean Action CI #57: Commit 5da92ef pushed by Mathias-Stout
4m 11s API-updates
API-updates
4m 11s
Updated formula API Lean Action CI #54: Commit f20a53c pushed by Mathias-Stout
4m 32s API-updates
API-updates
4m 32s
fixed some linting issues in Semantics Lean Action CI #53: Commit e1b4674 pushed by Mathias-Stout
2m 9s API-updates
API-updates
2m 9s
Clean up comments in MSLanguage structure Lean Action CI #52: Commit bae10d8 pushed by Mathias-Stout
2m 46s main
main
2m 46s
Merge pull request #11 from Mathias-Stout/API-updates Lean Action CI #51: Commit 32dad87 pushed by Mathias-Stout
3m 4s main
main
3m 4s
Updated syntax API Lean Action CI #50: Pull request #11 opened by Mathias-Stout
3m 8s API-updates
API-updates
3m 8s
Updated syntax API Lean Action CI #49: Commit 6a91005 pushed by Mathias-Stout
3m 16s API-updates
API-updates
3m 16s
Merge pull request #10 from Mathias-Stout/readme-updates Lean Action CI #48: Commit 6d0e7e6 pushed by Mathias-Stout
1m 59s main
main
1m 59s
Readme updates Lean Action CI #47: Pull request #10 opened by Mathias-Stout
2m 1s readme-updates
readme-updates
2m 1s
spell-checked version Lean Action CI #46: Commit bdf02a7 pushed by Mathias-Stout
1m 59s readme-updates
readme-updates
1m 59s
Merge pull request #9 from Mathias-Stout/prodexpr Lean Action CI #45: Commit ec86ac1 pushed by Mathias-Stout
2m 19s main
main
2m 19s
small update to languagemap Lean Action CI #44: Pull request #9 opened by Mathias-Stout
3m 0s prodexpr
prodexpr
3m 0s
small update to languagemap Lean Action CI #43: Commit 4ff983a pushed by Mathias-Stout
47m 11s prodexpr
prodexpr
47m 11s
Merge pull request #8 from Mathias-Stout/prodexpr Lean Action CI #42: Commit c1e0fbe pushed by Mathias-Stout
2m 50s main
main
2m 50s
Merge pull request #8 from Mathias-Stout/prodexpr Create Release #2: Commit c1e0fbe pushed by Mathias-Stout
9s main
main
9s
Working copy of prodexpr Lean Action CI #41: Pull request #8 opened by Mathias-Stout
2m 46s prodexpr
prodexpr
2m 46s