Skip to content

Actions: tirix/metamath-blueprints

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #13: by github-pages bot
August 27, 2024 12:09 46s gh-pages
gh-pages
August 27, 2024 12:09 46s
Part of claim 2 (#11) Build and Deploy #63: Commit 0e32fdb pushed by tirix
August 27, 2024 12:09 30s master
master
August 27, 2024 12:09 30s
Part of claim 2 Build and Deploy #62: Pull request #11 synchronize by metakunt
August 25, 2024 15:48 20s claim2
claim2
August 25, 2024 15:48 20s
Fix escape Build and Deploy #61: Commit 57a3161 pushed by metakunt
August 25, 2024 15:48 16s claim2
claim2
August 25, 2024 15:48 16s
Part of claim 2 Build and Deploy #60: Pull request #11 opened by metakunt
August 25, 2024 15:47 13s claim2
claim2
August 25, 2024 15:47 13s
Part of claim 2 Build and Deploy #59: Commit ed895a5 pushed by metakunt
August 25, 2024 15:25 19s claim2
claim2
August 25, 2024 15:25 19s
pages build and deployment pages-build-deployment #12: by github-pages bot
August 25, 2024 15:05 41s gh-pages
gh-pages
August 25, 2024 15:05 41s
Merge pull request #9 from tirix/introspective Build and Deploy #58: Commit 4c23080 pushed by metakunt
August 25, 2024 15:04 1m 37s master
master
August 25, 2024 15:04 1m 37s
Introspective theorems, definition Build and Deploy #57: Pull request #9 synchronize by tirix
July 23, 2024 05:39 19s introspective
introspective
July 23, 2024 05:39 19s
Fix typo in defintrospective.md Build and Deploy #56: Commit 9358ac0 pushed by tirix
July 23, 2024 05:39 13s introspective
introspective
July 23, 2024 05:39 13s
Introspective theorems, definition Build and Deploy #55: Pull request #9 synchronize by tirix
July 23, 2024 05:36 14s introspective
introspective
July 23, 2024 05:36 14s
Update definition of the introspective relation Build and Deploy #54: Commit b798439 pushed by tirix
July 23, 2024 05:36 14s introspective
introspective
July 23, 2024 05:36 14s
Introspective theorems, definition Build and Deploy #53: Pull request #9 synchronize by tirix
July 22, 2024 06:16 1m 21s introspective
introspective
July 22, 2024 06:16 1m 21s
Update intro2.md Build and Deploy #52: Commit 11d4fc5 pushed by tirix
July 22, 2024 06:16 1m 27s introspective
introspective
July 22, 2024 06:16 1m 27s
Introspective theorems, definition Build and Deploy #51: Pull request #9 synchronize by tirix
July 22, 2024 06:16 54s introspective
introspective
July 22, 2024 06:16 54s
Formatting intro1.md Build and Deploy #50: Commit a080d14 pushed by tirix
July 22, 2024 06:16 53s introspective
introspective
July 22, 2024 06:16 53s
Introspective theorems, definition Build and Deploy #49: Pull request #9 synchronize by tirix
July 22, 2024 06:13 1m 20s introspective
introspective
July 22, 2024 06:13 1m 20s
Formatting defintrospective.md Build and Deploy #48: Commit 4c49bac pushed by tirix
July 22, 2024 06:13 1m 1s introspective
introspective
July 22, 2024 06:13 1m 1s
Introspective theorems, definition Build and Deploy #47: Pull request #9 synchronize by tirix
July 21, 2024 15:29 51s introspective
introspective
July 21, 2024 15:29 51s
Introspective relation definition, first pass Build and Deploy #46: Commit 50ff02f pushed by tirix
July 21, 2024 15:29 59s introspective
introspective
July 21, 2024 15:29 59s
Introspective theorems, definition Build and Deploy #45: Pull request #9 opened by metakunt
July 21, 2024 09:48 52s introspective
introspective
July 21, 2024 09:48 52s
Introspective theorems, definition Build and Deploy #44: Commit 62a32c0 pushed by metakunt
July 21, 2024 09:19 52s introspective
introspective
July 21, 2024 09:19 52s
pages build and deployment pages-build-deployment #11: by github-pages bot
June 1, 2024 23:44 44s gh-pages
gh-pages
June 1, 2024 23:44 44s
AKS (#7) Build and Deploy #43: Commit 12de0e5 pushed by tirix
June 1, 2024 23:43 29s master
master
June 1, 2024 23:43 29s
AKS Build and Deploy #42: Pull request #7 synchronize by tirix
June 1, 2024 18:52 21s aks
aks
June 1, 2024 18:52 21s