Skip to content

Actions: frourios/FUST

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor DζOperator Lean Action CI with OTS Timestamping #91: Commit a49e5a0 pushed by solufa
15m 19s main
main
15m 19s
update poincare and gauge groups Lean Action CI with OTS Timestamping #90: Commit 9c935ae pushed by solufa
14m 17s main
main
14m 17s
unify the definition of mass Lean Action CI with OTS Timestamping #89: Commit c475a73 pushed by solufa
11m 58s main
main
11m 58s
Lean Action CI with OTS Timestamping Lean Action CI with OTS Timestamping #88: Commit 2661390 pushed by solufa
11m 49s main
main
11m 49s
Lean Action CI with OTS Timestamping Lean Action CI with OTS Timestamping #87: Commit 02cafa7 pushed by solufa
13m 4s main
main
13m 4s
add CoarseningOperator and renew blueprint Lean Action CI with OTS Timestamping #86: Commit cc1087c pushed by solufa
11m 49s main
main
11m 49s
add CoarseningOperator and renew blueprint Lean Action CI with OTS Timestamping #85: Commit 9367b30 pushed by solufa
12m 29s main
main
12m 29s
remove Dimension and Probability Lean Action CI with OTS Timestamping #84: Commit d60d5e4 pushed by solufa
14m 41s main
main
14m 41s
add StateFunctions Lean Action CI with OTS Timestamping #83: Commit 1281679 pushed by solufa
16m 20s main
main
16m 20s
tighten the definition of GaugeGroups and Dimension Lean Action CI with OTS Timestamping #82: Commit 1c39ae7 pushed by solufa
43m 40s main
main
43m 40s
tighten the definition of GaugeGroups and Dimension Lean Action CI with OTS Timestamping #81: Commit 54565d0 pushed by solufa
58m 1s main
main
58m 1s
tighten the definition of GaugeGroups and Dimension Lean Action CI with OTS Timestamping #80: Commit b9b7496 pushed by solufa
6m 1s main
main
6m 1s
add SpacetimeUniqueness Lean Action CI with OTS Timestamping #79: Commit 08257aa pushed by solufa
57m 23s main
main
57m 23s
merge FζDim and DimensionalAnalysis Lean Action CI with OTS Timestamping #78: Commit 3e6c41d pushed by solufa
55m 59s main
main
55m 59s
update Thermodynamics and SchrodingerEquation Lean Action CI with OTS Timestamping #77: Commit 5005a07 pushed by solufa
58m 20s main
main
58m 20s
merge DifferenceOperators into Dζ Lean Action CI with OTS Timestamping #76: Commit d098941 pushed by solufa
57m 44s main
main
57m 44s
remove Dn operators Lean Action CI with OTS Timestamping #75: Commit 9603bba pushed by solufa
52m 9s main
main
52m 9s
remove Dn operators Lean Action CI with OTS Timestamping #74: Commit 18c6477 pushed by solufa
57m 18s main
main
57m 18s
remove Dζn operators Lean Action CI with OTS Timestamping #73: Commit b69acad pushed by solufa
53m 29s main
main
53m 29s
remove Dζn operators Lean Action CI with OTS Timestamping #72: Commit 036f0b5 pushed by solufa
55m 52s main
main
55m 52s
fix time and mass definitions Lean Action CI with OTS Timestamping #71: Commit 28a81d4 pushed by solufa
53m 55s main
main
53m 55s
fix time and mass definitions Lean Action CI with OTS Timestamping #70: Commit 09505e0 pushed by solufa
53m 6s main
main
53m 6s
fix time and mass definitions Lean Action CI with OTS Timestamping #69: Commit b16a9c7 pushed by solufa
42m 12s main
main
42m 12s
fix time and mass definitions Lean Action CI with OTS Timestamping #68: Commit 6568b12 pushed by solufa
44m 55s main
main
44m 55s
fix time and mass definitions Lean Action CI with OTS Timestamping #67: Commit bd55ead pushed by solufa
43m 36s main
main
43m 36s