Skip to content

Actions: FormalizedFormalLogic/Summary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update to v4.16.0-rc2 CI #17: Commit 82f42ab pushed by iehality
January 24, 2025 12:26 22m 56s master
master
January 24, 2025 12:26 22m 56s
Update Update #11: Scheduled
January 19, 2025 08:23 1m 28s master
master
January 19, 2025 08:23 1m 28s
Update Update #10: Scheduled
January 12, 2025 08:25 1m 26s master
master
January 12, 2025 08:25 1m 26s
Update Update #9: Scheduled
January 5, 2025 08:25 1m 8s master
master
January 5, 2025 08:25 1m 8s
Update Update #8: Scheduled
December 29, 2024 08:25 2m 13s master
master
December 29, 2024 08:25 2m 13s
Update Update #7: Scheduled
December 22, 2024 08:25 4m 32s master
master
December 22, 2024 08:25 4m 32s
Update Update #6: Scheduled
December 15, 2024 08:27 13m 45s master
master
December 15, 2024 08:27 13m 45s
Merge pull request #4 from FormalizedFormalLogic/auto-update/patch-qt… CI #16: Commit cb91ba8 pushed by iehality
December 12, 2024 13:03 21m 45s master
master
December 12, 2024 13:03 21m 45s
Update Update #5: Scheduled
December 8, 2024 08:27 14m 26s master
master
December 8, 2024 08:27 14m 26s
Update Update #4: Scheduled
December 1, 2024 08:27 15m 14s master
master
December 1, 2024 08:27 15m 14s
Update to v4.14.0-rc2 (#1) CI #15: Commit 364d752 pushed by SnO2WMaN
November 28, 2024 13:17 21m 22s master
master
November 28, 2024 13:17 21m 22s
Update to v4.14.0-rc2 CI #14: Pull request #1 synchronize by SnO2WMaN
November 28, 2024 12:52 21m 44s update-v4.13.0-rc3
update-v4.13.0-rc3
November 28, 2024 12:52 21m 44s
Update to v4.14.0-rc2 CI #13: Pull request #1 synchronize by SnO2WMaN
November 28, 2024 09:57 20m 24s update-v4.13.0-rc3
update-v4.13.0-rc3
November 28, 2024 09:57 20m 24s
Update to v4.14.0-rc2 CI #12: Pull request #1 synchronize by SnO2WMaN
November 28, 2024 08:11 20m 30s update-v4.13.0-rc3
update-v4.13.0-rc3
November 28, 2024 08:11 20m 30s
Update Update #3: Manually run by SnO2WMaN
November 28, 2024 07:00 1m 14s master
master
November 28, 2024 07:00 1m 14s
Update Update #2: Scheduled
November 24, 2024 08:26 1m 14s master
master
November 24, 2024 08:26 1m 14s
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.14.0-rc2 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.14.0-rc2 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.14.0-rc2 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.14.0-rc2 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.14.0-rc2 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