Skip to content

Actions: FormalizedFormalLogic/Summary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update
Update #2: Scheduled
November 24, 2024 08:26 1m 14s master
November 24, 2024 08:26 1m 14s
Update
Update #1: Scheduled
November 17, 2024 08:25 1m 0s master
November 17, 2024 08:25 1m 0s
Add auto update
CI #11: Commit c73a299 pushed by SnO2WMaN
November 10, 2024 13:53 20m 51s master
November 10, 2024 13:53 20m 51s
Update to v4.13.0-rc3
CI #10: Pull request #1 synchronize by SnO2WMaN
November 10, 2024 00:36 1m 41s update-v4.13.0-rc3
November 10, 2024 00:36 1m 41s
Update to v4.13.0-rc3
CI #9: Pull request #1 synchronize by SnO2WMaN
November 7, 2024 19:29 3m 55s update-v4.13.0-rc3
November 7, 2024 19:29 3m 55s
Update to v4.13.0-rc3
CI #8: Pull request #1 synchronize by SnO2WMaN
November 1, 2024 08:57 18m 52s update-v4.13.0-rc3
November 1, 2024 08:57 18m 52s
Update to v4.13.0-rc3
CI #7: Pull request #1 synchronize by SnO2WMaN
November 1, 2024 08:56 19m 4s update-v4.13.0-rc3
November 1, 2024 08:56 19m 4s
Update to v4.13.0-rc3
CI #6: Pull request #1 opened by SnO2WMaN
November 1, 2024 08:56 18m 59s update-v4.13.0-rc3
November 1, 2024 08:56 18m 59s
Update to v4.13.0-rc3
CI #5: Commit 5598641 pushed by SnO2WMaN
November 1, 2024 08:55 18m 55s update-v4.13.0-rc3
November 1, 2024 08:55 18m 55s
Use recall
CI #4: Commit bb7c798 pushed by SnO2WMaN
October 15, 2024 09:04 2m 24s master
October 15, 2024 09:04 2m 24s
fx dep
CI #3: Commit 6976243 pushed by SnO2WMaN
October 15, 2024 05:32 20m 37s master
October 15, 2024 05:32 20m 37s
caching
CI #2: Commit f967d22 pushed by SnO2WMaN
October 15, 2024 05:08 3m 6s master
October 15, 2024 05:08 3m 6s
Deploy document
CI #1: Commit 83f9a49 pushed by SnO2WMaN
October 15, 2024 04:27 19m 50s master
October 15, 2024 04:27 19m 50s
init
Lean Action CI #1: Commit 6b75c61 pushed by SnO2WMaN
October 15, 2024 04:21 17m 54s master
October 15, 2024 04:21 17m 54s