Skip to content

Actions: FormalizedFormalLogic/Summary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Update #1: Scheduled
November 17, 2024 08:25 1m 0s master
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
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
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
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
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
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
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
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
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
master
October 15, 2024 05:32 20m 37s
caching CI #2: Commit f967d22 pushed by SnO2WMaN
October 15, 2024 05:08 3m 6s master
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
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
master
October 15, 2024 04:21 17m 54s