Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
643 workflow runs
643 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
Merge pull request #41 from physicslib/numina/aqft-in-lean Lean Action CI #588: Commit 34e2abb pushed by KellyJDavis
4m 54s main
main
4m 54s
Merge pull request #41 from physicslib/numina/aqft-in-lean Compile blueprint #49: Commit 34e2abb pushed by KellyJDavis
52m 50s main
main
52m 50s
Add the Apache 2.0 license Lean Action CI #587: Pull request #41 opened by KellyJDavis
9m 2s numina/aqft-in-lean
numina/aqft-in-lean
9m 2s
Add the Apache 2.0 license Lean Action CI #586: Commit e3347b5 pushed by KellyJDavis
6m 51s numina/aqft-in-lean
numina/aqft-in-lean
6m 51s
Merge pull request #40 from physicslib/numina/aqft-in-lean Lean Action CI #585: Commit 56c2a50 pushed by KellyJDavis
4m 32s main
main
4m 32s
Merge pull request #40 from physicslib/numina/aqft-in-lean Compile blueprint #48: Commit 56c2a50 pushed by KellyJDavis
44m 7s main
main
44m 7s
Split the home page into section pages and load MathJax 3 Lean Action CI #584: Pull request #40 opened by KellyJDavis
5m 22s numina/aqft-in-lean
numina/aqft-in-lean
5m 22s
Split the home page into section pages and load MathJax 3 Lean Action CI #583: Commit 4b97096 pushed by KellyJDavis
4m 38s numina/aqft-in-lean
numina/aqft-in-lean
4m 38s
Merge pull request #39 from physicslib/numina/aqft-in-lean Compile blueprint #47: Commit 5c137fb pushed by KellyJDavis
55m 12s main
main
55m 12s
Merge pull request #39 from physicslib/numina/aqft-in-lean Lean Action CI #582: Commit 5c137fb pushed by KellyJDavis
4m 19s main
main
4m 19s
Numina/aqft in lean Lean Action CI #581: Pull request #39 opened by KellyJDavis
5m 2s numina/aqft-in-lean
numina/aqft-in-lean
5m 2s
Refresh home page for the von Neumann density theorem Lean Action CI #580: Commit 1a073c1 pushed by KellyJDavis
4m 38s numina/aqft-in-lean
numina/aqft-in-lean
4m 38s
Merge pull request #38 from physicslib/numina/aqft-in-lean Lean Action CI #579: Commit 0cf1f85 pushed by KellyJDavis
6m 31s main
main
6m 31s
Merge pull request #38 from physicslib/numina/aqft-in-lean Compile blueprint #46: Commit 0cf1f85 pushed by KellyJDavis
46m 20s main
main
46m 20s
Numina/aqft in lean Lean Action CI #578: Pull request #38 opened by KellyJDavis
7m 29s numina/aqft-in-lean
numina/aqft-in-lean
7m 29s
Refresh home page for the Levi-Civita and geodesics work Lean Action CI #577: Commit a7016c6 pushed by KellyJDavis
5m 27s numina/aqft-in-lean
numina/aqft-in-lean
5m 27s
Merge pull request #37 from physicslib/numina/aqft-in-lean Lean Action CI #576: Commit c0398d5 pushed by KellyJDavis
8m 11s main
main
8m 11s
Merge pull request #37 from physicslib/numina/aqft-in-lean Compile blueprint #45: Commit c0398d5 pushed by KellyJDavis
57m 23s main
main
57m 23s
Merge pull request #37 from physicslib/numina/aqft-in-lean Create Release #6: Commit c0398d5 pushed by KellyJDavis
16s main
main
16s
Upgrade to Lean and Mathlib v4.34.1 Lean Action CI #575: Pull request #37 opened by KellyJDavis
8m 59s numina/aqft-in-lean
numina/aqft-in-lean
8m 59s
Upgrade to Lean and Mathlib v4.34.1 Lean Action CI #574: Commit 3ff1a59 pushed by KellyJDavis
8m 40s numina/aqft-in-lean
numina/aqft-in-lean
8m 40s
Upgrade to Lean and Mathlib v4.34.1 Lean Action CI #573: Commit 3ff1a59 pushed by KellyJDavis
8m 16s numina/mathlib-v4.34.1
numina/mathlib-v4.34.1
8m 16s
Merge pull request #36 from physicslib/numina/aqft-in-lean Compile blueprint #44: Commit 19e4081 pushed by KellyJDavis
43m 4s main
main
43m 4s
Merge pull request #36 from physicslib/numina/aqft-in-lean Lean Action CI #572: Commit 19e4081 pushed by KellyJDavis
6m 27s main
main
6m 27s
Numina/aqft in lean Lean Action CI #571: Pull request #36 opened by KellyJDavis
8m 5s numina/aqft-in-lean
numina/aqft-in-lean
8m 5s