Skip to content

Actions: thorimur/std4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
32 workflow run results
32 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: clean up test file formatting ci #7: Commit efd52f6 pushed by thorimur
September 12, 2023 04:28 2m 20s try-these
try-these
September 12, 2023 04:28 2m 20s
chore: typo in testfile comments ci #6: Commit 2aee845 pushed by thorimur
September 12, 2023 04:13 2m 23s try-these
try-these
September 12, 2023 04:13 2m 23s
docs: clarify delabToRefinable* docstrings ci #5: Commit 830fc8c pushed by thorimur
September 12, 2023 04:06 2m 24s try-these
try-these
September 12, 2023 04:06 2m 24s
docs: fix code fencing for github ci #4: Commit c6414a0 pushed by thorimur
September 12, 2023 03:50 2m 14s try-these
try-these
September 12, 2023 03:50 2m 14s
chore: remove stray import ci #3: Commit a30119b pushed by thorimur
September 11, 2023 09:04 2m 23s try-these
try-these
September 11, 2023 09:04 2m 23s
chore: update code action to match main ci #2: Commit 3b3d292 pushed by thorimur
September 11, 2023 08:59 3m 11s try-these
try-these
September 11, 2023 08:59 3m 11s
chore: bump to Lean v4.0.0 (#250) ci #1: Commit 28459f7 pushed by thorimur
September 11, 2023 08:55 2m 12s main
main
September 11, 2023 08:55 2m 12s