Skip to content

Actions: Seasawher/ConcreteSemantics.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #10 from Seasawher/auto-update/patch-o3alodf build test #49: Commit 5c00457 pushed by Seasawher
November 7, 2024 04:23 1m 28s main
main
November 7, 2024 04:23 1m 28s
Update Lean Update Lean #5: Scheduled
November 7, 2024 00:20 2m 36s main
main
November 7, 2024 00:20 2m 36s
少しの修正 build test #48: Commit 91809d2 pushed by Seasawher
November 5, 2024 14:51 1m 32s main
main
November 5, 2024 14:51 1m 32s
version 更新 build test #47: Commit 190f7fa pushed by Seasawher
November 5, 2024 14:22 2m 7s main
main
November 5, 2024 14:22 2m 7s
Merge pull request #9 from Seasawher/Nov5 build test #46: Commit 785aeff pushed by Seasawher
November 5, 2024 14:15 1m 43s main
main
November 5, 2024 14:15 1m 43s
11/5 進捗 build test #45: Pull request #9 opened by spinylobster
November 5, 2024 14:04 1m 44s Nov5
Nov5
November 5, 2024 14:04 1m 44s
Merge pull request #8 from Seasawher/auto-update/patch-dekyxzb build test #44: Commit d0b9b4c pushed by Seasawher
October 31, 2024 03:52 1m 58s main
main
October 31, 2024 03:52 1m 58s
Update Lean Update Lean #4: Scheduled
October 31, 2024 00:20 2m 20s main
main
October 31, 2024 00:20 2m 20s
Merge pull request #7 from Seasawher/Oct29 build test #43: Commit 4da7d18 pushed by Seasawher
October 29, 2024 14:31 1m 37s main
main
October 29, 2024 14:31 1m 37s
10/29 進捗 build test #42: Pull request #7 synchronize by spinylobster
October 29, 2024 14:13 1m 40s Oct29
Oct29
October 29, 2024 14:13 1m 40s
Merge pull request #6 from Seasawher/re-organize build test #41: Commit 1dd769e pushed by Seasawher
October 26, 2024 00:44 1m 38s main
main
October 26, 2024 00:44 1m 38s
ディレクトリ構造再編 build test #40: Pull request #6 opened by Seasawher
October 26, 2024 00:42 1m 39s re-organize
re-organize
October 26, 2024 00:42 1m 39s
aesop は mathlib に含まれるので削除する build test #39: Commit 3f52dc4 pushed by Seasawher
October 25, 2024 11:01 2m 4s main
main
October 25, 2024 11:01 2m 4s
Merge pull request #5 from Seasawher/auto-update/patch-udnrvcq build test #38: Commit 367fd30 pushed by Seasawher
October 24, 2024 01:46 1m 35s main
main
October 24, 2024 01:46 1m 35s
Update Lean Update Lean #3: Scheduled
October 24, 2024 00:20 2m 50s main
main
October 24, 2024 00:20 2m 50s
追記 build test #37: Commit 8415207 pushed by spinylobster
October 22, 2024 14:05 1m 37s main
main
October 22, 2024 14:05 1m 37s
10/22 進捗 build test #36: Commit 8518bc9 pushed by spinylobster
October 22, 2024 14:00 2m 6s main
main
October 22, 2024 14:00 2m 6s
Merge pull request #4 from Seasawher/auto-update/patch-9ajppo1 build test #35: Commit a50e61e pushed by Seasawher
October 17, 2024 00:36 1m 59s main
main
October 17, 2024 00:36 1m 59s
Update Lean Update Lean #2: Scheduled
October 17, 2024 00:20 2m 36s main
main
October 17, 2024 00:20 2m 36s
Merge pull request #3 from spinylobster/main build test #34: Commit cd290ab pushed by Seasawher
October 15, 2024 20:34 3m 19s main
main
October 15, 2024 20:34 3m 19s
seqの場合の証明を完了する build test #33: Pull request #3 opened by spinylobster
October 15, 2024 11:47 3m 2s spinylobster:main
spinylobster:main
October 15, 2024 11:47 3m 2s
Update Lean Update Lean #1: Scheduled
October 10, 2024 00:19 3m 0s main
main
October 10, 2024 00:19 3m 0s
更新ワークフロー設定 build test #32: Commit edba529 pushed by Seasawher
October 8, 2024 20:03 2m 58s main
main
October 8, 2024 20:03 2m 58s
修正 build test #31: Commit 3436d7f pushed by Seasawher
October 8, 2024 14:27 2m 58s main
main
October 8, 2024 14:27 2m 58s
10/8 進捗 build test #30: Commit 67f4988 pushed by Seasawher
October 8, 2024 14:06 2m 49s main
main
October 8, 2024 14:06 2m 49s