Skip to content

Actions: Seasawher/ConcreteSemantics.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README追加 build test #8: Commit 449d7ac pushed by Seasawher
August 27, 2024 14:54 27s main
main
August 27, 2024 14:54 27s
Aug27 進捗 build test #7: Commit dabd13e pushed by Seasawher
August 27, 2024 14:03 34s main
main
August 27, 2024 14:03 34s
7.2.3 Rule Inversion 終了 build test #6: Commit bfef483 pushed by Seasawher
August 24, 2024 07:01 23s main
main
August 24, 2024 07:01 23s
while_iff まで終わらせる build test #5: Commit a0d03b6 pushed by Seasawher
August 24, 2024 04:41 1m 30s main
main
August 24, 2024 04:41 1m 30s
ラムダ式の簡約を conv で行う build test #4: Commit b12ac4d pushed by Seasawher
August 24, 2024 04:13 29s main
main
August 24, 2024 04:13 29s
Aug20 progress build test #2: Commit 0099631 pushed by Seasawher
August 20, 2024 14:01 27s main
main
August 20, 2024 14:01 27s
setup workflow build test #1: Commit 18081ca pushed by Seasawher
August 20, 2024 12:15 24s main
main
August 20, 2024 12:15 24s