Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,056 workflow runs
2,056 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1330766340 Dependabot Updates #26: by dependabot Bot
34s master
master
34s
change(FirstOrder): redesign FirstOrder CI #2711: Pull request #794 synchronize by iehality
1m 42s refine-fo
refine-fo
1m 42s
change(FirstOrder): redesign FirstOrder CI #2710: Pull request #794 synchronize by iehality
2m 4s refine-fo
refine-fo
2m 4s
chore(deps): bump actions/upload-pages-artifact from 4 to 5 (#820) Actionlint #219: Commit c28942b pushed by SnO2WMaN
13s master
master
13s
chore(deps): bump actions/upload-pages-artifact from 4 to 5 (#820) CI #2709: Commit c28942b pushed by SnO2WMaN
51m 45s master
master
51m 45s
chore(deps): bump actions/upload-pages-artifact from 4 to 5 CI #2708: Pull request #820 opened by dependabot Bot
51m 58s dependabot/github_actions/actions/upload-pages-artifact-5
dependabot/github_actions/actions/upload-pages-artifact-5
51m 58s
chore(deps): bump actions/upload-pages-artifact from 4 to 5 Actionlint #218: Commit 63418b3 pushed by dependabot Bot
16s dependabot/github_actions/actions/upload-pages-artifact-5
dependabot/github_actions/actions/upload-pages-artifact-5
16s
github_actions in /. - Update #1321192070 Dependabot Updates #25: by dependabot Bot
37s master
master
37s
change(FirstOrder): redesign FirstOrder CI #2707: Pull request #794 synchronize by iehality
2m 2s refine-fo
refine-fo
2m 2s
add(SetTheory): Recursion, ordinal addition and multiplication CI #2706: Pull request #799 synchronize by Convindix
5m 6s tosiaki:master
tosiaki:master
5m 6s
add(SetTheory): Recursion, ordinal addition and multiplication CI #2705: Pull request #799 synchronize by Convindix
Action required tosiaki:master
tosiaki:master
Action required
github_actions in /. - Update #1309558839 Dependabot Updates #24: by dependabot Bot
34s master
master
34s
change(FirstOrder): redesign FirstOrder CI #2704: Pull request #794 synchronize by iehality
1m 48s refine-fo
refine-fo
1m 48s
change(FirstOrder): redesign FirstOrder CI #2703: Pull request #794 synchronize by iehality
1m 54s refine-fo
refine-fo
1m 54s
change(FirstOrder): redesign FirstOrder CI #2702: Pull request #794 synchronize by iehality
1m 48s refine-fo
refine-fo
1m 48s
change(FirstOrder): redesign FirstOrder CI #2701: Pull request #794 synchronize by iehality
1m 42s refine-fo
refine-fo
1m 42s
change(FirstOrder): redesign FirstOrder CI #2700: Pull request #794 synchronize by iehality
1m 58s refine-fo
refine-fo
1m 58s
change(FirstOrder): redesign FirstOrder CI #2699: Pull request #794 synchronize by iehality
2m 6s refine-fo
refine-fo
2m 6s
fix Actionlint #217: Commit e48715a pushed by iehality
11s refine-fo
refine-fo
11s
chore: Update Lean and dependencies on 2026/02/17 (#758) CI #2698: Commit 956c5a2 pushed by SnO2WMaN
52m 25s master
master
52m 25s
chore: Update Lean and dependencies on 2026/02/17 CI #2697: Pull request #758 synchronize by iehality
49m 56s update-20260217
update-20260217
49m 56s
chore: Update Lean and dependencies on 2026/02/17 CI #2696: Pull request #758 synchronize by iehality
1m 45s update-20260217
update-20260217
1m 45s
chore: Update Lean and dependencies on 2026/02/17 CI #2695: Pull request #758 synchronize by SnO2WMaN
11m 32s update-20260217
update-20260217
11m 32s
refactor: Remove Neighborhood Semantics for Modal Logic (#818) CI #2694: Commit 066bfa6 pushed by SnO2WMaN
7m 37s master
master
7m 37s
refactor: Remove Neighborhood Semantics for Modal Logic CI #2693: Pull request #818 opened by SnO2WMaN
7m 8s remove-modal-neighborhood
remove-modal-neighborhood
7m 8s