Skip to content

Actions: FormalizedFormalLogic/awesome-logic-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 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 #1454465583 Dependabot Updates #19: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #1446103723 Dependabot Updates #18: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #1435814374 Dependabot Updates #17: by dependabot Bot
32s main
main
32s
Bump actions/checkout from 6 to 7 (#21) Deploy #40: Commit c838bd9 pushed by SnO2WMaN
56s main
main
56s
Bump actions/checkout from 6 to 7 Deploy #39: Pull request #21 opened by dependabot Bot
42s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
42s
github_actions in /. - Update #1422252645 Dependabot Updates #16: by dependabot Bot
22s main
main
22s
github_actions in /. - Update #1409364974 Dependabot Updates #15: by dependabot Bot
26s main
main
26s
github_actions in /. - Update #1398954904 Dependabot Updates #14: by dependabot Bot
36s main
main
36s
Add Coquand Agda Gödel entry (repository + publication) (#20) Deploy #38: Commit 7c81a9e pushed by SnO2WMaN
53s main
main
53s
Add Coquand Agda Gödel entry (repository + publication) Deploy #37: Pull request #20 synchronize by Copilot AI
31s copilot/add-agda-godel-tree
copilot/add-agda-godel-tree
31s
Running Copilot cloud agent Copilot cloud agent #5: by Copilot AI
2m 52s copilot/add-agda-godel-tree
copilot/add-agda-godel-tree
2m 52s
github_actions in /. - Update #1389235433 Dependabot Updates #13: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #1379178243 Dependabot Updates #12: by dependabot Bot
34s main
main
34s
Bump actions/upload-pages-artifact from 4 to 5 (#16) Deploy #35: Commit 0e3ef0d pushed by SnO2WMaN
47s main
main
47s
github_actions in /. - Update #1368662338 Dependabot Updates #11: by dependabot Bot
23s main
main
23s
Add mgignoux/lean4-gl-coalgebras to bibliography (#18) Deploy #34: Commit 09e7135 pushed by SnO2WMaN
1m 2s main
main
1m 2s
Add mgignoux/lean4-gl-coalgebras to bibliography Deploy #33: Pull request #18 synchronize by Copilot AI
48s copilot/add-mgignoux-lean4-gl-coalgebras
copilot/add-mgignoux-lean4-gl-coalgebras
48s
Running Copilot cloud agent Copilot cloud agent #4: by Copilot AI
4m 41s copilot/add-mgignoux-lean4-gl-coalgebras
copilot/add-mgignoux-lean4-gl-coalgebras
4m 41s
github_actions in /. - Update #1354385639 Dependabot Updates #10: by dependabot Bot
38s main
main
38s
github_actions in /. - Update #1343752029 Dependabot Updates #9: by dependabot Bot
37s main
main
37s
github_actions in /. - Update #1335718701 Dependabot Updates #8: by dependabot Bot
30s main
main
30s
Bump actions/upload-pages-artifact from 4 to 5 Deploy #31: Pull request #16 opened by dependabot Bot
23s dependabot/github_actions/actions/upload-pages-artifact-5
dependabot/github_actions/actions/upload-pages-artifact-5
23s
github_actions in /. - Update #1327214034 Dependabot Updates #7: by dependabot Bot
46s main
main
46s
add m4lvin/tablean (#13) Deploy #30: Commit 4055b7a pushed by SnO2WMaN
45s main
main
45s
Add mrmartin/On-Formally-Undecidable-Propositions-of-NP Deploy #29: Pull request #15 synchronize by Copilot AI
38s copilot/add-mrmartin-on-formally-undecidable-propositions
copilot/add-mrmartin-on-formally-undecidable-propositions
38s