Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
14 workflow run results
14 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typo .github/workflows/push.yml #14: Commit 9cac484 pushed by fpvandoorn
April 11, 2024 07:52 19m 46s master
master
April 11, 2024 07:52 19m 46s
remove test file .github/workflows/push.yml #13: Commit 79e0c4a pushed by fpvandoorn
April 3, 2024 17:01 19m 12s master
master
April 3, 2024 17:01 19m 12s
a few missing braces .github/workflows/push.yml #12: Commit cb0b714 pushed by fpvandoorn
April 3, 2024 15:53 21m 56s master
master
April 3, 2024 15:53 21m 56s
add package, some updates to webpage .github/workflows/push.yml #11: Commit 5b39892 pushed by fpvandoorn
April 3, 2024 15:29 18m 26s master
master
April 3, 2024 15:29 18m 26s
full blueprint .github/workflows/push.yml #10: Commit abdfd92 pushed by fpvandoorn
April 3, 2024 15:05 20m 15s master
master
April 3, 2024 15:05 20m 15s
remove package .github/workflows/push.yml #9: Commit 29fda8a pushed by fpvandoorn
April 3, 2024 14:29 19m 16s master
master
April 3, 2024 14:29 19m 16s
change package .github/workflows/push.yml #8: Commit c07222a pushed by fpvandoorn
April 3, 2024 14:06 18m 7s master
master
April 3, 2024 14:06 18m 7s
Fix typos in blueprint and lean files (#1) .github/workflows/push.yml #7: Commit 1276b98 pushed by fpvandoorn
April 3, 2024 13:55 20m 41s master
master
April 3, 2024 13:55 20m 41s
add an actual test (only half) .github/workflows/push.yml #6: Commit bbb884b pushed by fpvandoorn
March 25, 2024 18:17 18m 41s master
master
March 25, 2024 18:17 18m 41s
update lake-manifest .github/workflows/push.yml #5: Commit dbc4431 pushed by fpvandoorn
March 25, 2024 14:47 21m 11s master
master
March 25, 2024 14:47 21m 11s
bump mathlib .github/workflows/push.yml #4: Commit 68076f2 pushed by fpvandoorn
March 25, 2024 14:41 50s master
master
March 25, 2024 14:41 50s
add requirement .github/workflows/push.yml #3: Commit faf71b7 pushed by fpvandoorn
March 25, 2024 14:03 37s master
master
March 25, 2024 14:03 37s
fixes .github/workflows/push.yml #2: Commit 8204ff6 pushed by fpvandoorn
March 22, 2024 12:57 1m 49s master
master
March 22, 2024 12:57 1m 49s
try adding blueprint .github/workflows/push.yml #1: Commit 57ab23f pushed by fpvandoorn
March 22, 2024 12:55 1m 38s master
master
March 22, 2024 12:55 1m 38s