Skip to content

Actions: bergmannjg/Std.Time.Lemmas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: use lakefile.toml CI #7: Commit 3ccbaee pushed by bergmannjg
February 6, 2025 16:23 35s main
main
February 6, 2025 16:23 35s
chore: update to v4.16.0 CI #6: Commit fc60c92 pushed by bergmannjg
February 4, 2025 15:06 1m 7s main
main
February 4, 2025 15:06 1m 7s
feat: remove macros CI #5: Commit d6d5090 pushed by bergmannjg
January 15, 2025 16:25 1m 17s main
main
January 15, 2025 16:25 1m 17s
feat: fix lint errors CI #4: Commit 0d0bfb2 pushed by bergmannjg
January 11, 2025 11:01 1m 24s main
main
January 11, 2025 11:01 1m 24s
feat: update proofs CI #3: Commit 10a03bf pushed by bergmannjg
January 11, 2025 10:54 1m 28s main
main
January 11, 2025 10:54 1m 28s
feat: use more macros CI #2: Commit 9c9e10f pushed by bergmannjg
December 29, 2024 14:03 1m 17s main
main
December 29, 2024 14:03 1m 17s
initial commit CI #1: Commit fc48c97 pushed by bergmannjg
December 27, 2024 15:37 57s main
main
December 27, 2024 15:37 57s