Skip to content

Actions: themathqueen/monlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix .github/workflows/push.yml #124: Commit e419fa0 pushed by themathqueen
34m 44s main
main
34m 44s
MulOpposite.instCoalgebra .github/workflows/push.yml #123: Commit a962b67 pushed by themathqueen
1m 37s main
main
1m 37s
fixes .github/workflows/push.yml #122: Commit 42c35ce pushed by themathqueen
56m 56s main
main
56m 56s
updates 6 .github/workflows/push.yml #121: Commit 1dc766d pushed by themathqueen
10m 45s main
main
10m 45s
Update push.yml .github/workflows/push.yml #120: Commit b9c02eb pushed by themathqueen
46m 41s main
main
46m 41s
Update push.yml .github/workflows/push.yml #119: Commit ebbf49b pushed by themathqueen
15s main
main
15s
Update push.yml .github/workflows/push.yml #118: Commit 6a7a29f pushed by themathqueen
15s main
main
15s
Update push.yml .github/workflows/push.yml #117: Commit 8c7b4bc pushed by themathqueen
48m 11s main
main
48m 11s
last fix for the day .github/workflows/push.yml #116: Commit 058c7f7 pushed by themathqueen
18s main
main
18s
matrix quantum graph file .github/workflows/push.yml #115: Commit fb8014f pushed by themathqueen
30m 26s main
main
30m 26s
more lemmas for pimat .github/workflows/push.yml #114: Commit 7de5034 pushed by themathqueen
27m 18s main
main
27m 18s
some more lemmas for PiMat .github/workflows/push.yml #113: Commit 7be8f09 pushed by themathqueen
26m 42s main
main
26m 42s
PiMat_submodule_eq_zero_iff_swap_eq_zero_of_adjoint .github/workflows/push.yml #112: Commit db5be75 pushed by themathqueen
24m 45s main
main
24m 45s
numOfEdges for tracial counit .github/workflows/push.yml #111: Commit 9b9b015 pushed by themathqueen
40m 27s main
main
40m 27s
graph gradient .github/workflows/push.yml #110: Commit 0e5c500 pushed by themathqueen
24m 11s main
main
24m 11s