Skip to content

Actions: djvelleman/HTPIwL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Suggest obtain for proof by cases CI #235: Commit 0deda35 pushed by djvelleman
December 28, 2024 22:58 11s main
main
December 28, 2024 22:58 11s
pages build and deployment pages-build-deployment #205: by djvelleman
December 28, 2024 22:58 25s main
main
December 28, 2024 22:58 25s
Update instructions for toggling infoview CI #234: Commit 3683448 pushed by djvelleman
December 17, 2024 17:30 12s main
main
December 17, 2024 17:30 12s
pages build and deployment pages-build-deployment #204: by djvelleman
December 17, 2024 17:30 33s main
main
December 17, 2024 17:30 33s
Improve introduction of tactics CI #233: Commit 01b09a1 pushed by djvelleman
November 30, 2024 21:33 14s main
main
November 30, 2024 21:33 14s
pages build and deployment pages-build-deployment #203: by djvelleman
November 30, 2024 21:33 24s main
main
November 30, 2024 21:33 24s
Add info about transitioning to standard Lean CI #232: Commit 5d11610 pushed by djvelleman
November 29, 2024 16:44 13s main
main
November 29, 2024 16:44 13s
pages build and deployment pages-build-deployment #202: by djvelleman
November 29, 2024 16:44 39s main
main
November 29, 2024 16:44 39s
Add info about transitioning to standard Lean CI #231: Commit 08de7b3 pushed by djvelleman
November 29, 2024 16:42 13s main
main
November 29, 2024 16:42 13s
pages build and deployment pages-build-deployment #201: by djvelleman
November 29, 2024 16:42 2m 1s main
main
November 29, 2024 16:42 2m 1s
Add info about customization of Lean CI #230: Commit f19b4e2 pushed by djvelleman
November 29, 2024 16:20 12s main
main
November 29, 2024 16:20 12s
pages build and deployment pages-build-deployment #200: by djvelleman
November 29, 2024 16:20 24s main
main
November 29, 2024 16:20 24s
Add tools for searching Mathlib CI #229: Commit 8715442 pushed by djvelleman
September 9, 2024 15:18 15s main
main
September 9, 2024 15:18 15s
pages build and deployment pages-build-deployment #199: by djvelleman
September 9, 2024 15:18 1m 59s main
main
September 9, 2024 15:18 1m 59s
Fix typo CI #228: Commit 1345213 pushed by djvelleman
August 31, 2024 18:53 11s main
main
August 31, 2024 18:53 11s
pages build and deployment pages-build-deployment #198: by djvelleman
August 31, 2024 18:53 33s main
main
August 31, 2024 18:53 33s
Update to v4.11.0-rc1 CI #226: Commit dde916f pushed by djvelleman
August 13, 2024 17:26 20s main
main
August 13, 2024 17:26 20s
pages build and deployment pages-build-deployment #197: by djvelleman
August 13, 2024 17:26 1m 26s main
main
August 13, 2024 17:26 1m 26s
use moreGlobalServerArgs CI #225: Commit ecda6c7 pushed by djvelleman
June 22, 2024 18:29 11s main
main
June 22, 2024 18:29 11s
pages build and deployment pages-build-deployment #196: by djvelleman
June 22, 2024 18:29 28s main
main
June 22, 2024 18:29 28s
Update images in preface CI #224: Commit 86f0a19 pushed by djvelleman
June 19, 2024 00:16 11s main
main
June 19, 2024 00:16 11s
pages build and deployment pages-build-deployment #195: by djvelleman
June 19, 2024 00:16 26s main
main
June 19, 2024 00:16 26s
Update images in preface CI #223: Commit 7dd644c pushed by djvelleman
June 19, 2024 00:07 12s main
main
June 19, 2024 00:07 12s
pages build and deployment pages-build-deployment #194: by djvelleman
June 19, 2024 00:07 30s main
main
June 19, 2024 00:07 30s
Update to v4.8.0 CI #222: Commit 8c40077 pushed by djvelleman
June 18, 2024 15:40 12s main
main
June 18, 2024 15:40 12s