Skip to content

Actions: djvelleman/HTPIwL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pages build and deployment pages-build-deployment #193: by djvelleman
June 18, 2024 15:40 27s main
main
June 18, 2024 15:40 27s
Add contrapose! as alternative to contradict CI #221: Commit f2d3374 pushed by djvelleman
February 5, 2024 22:00 11s main
main
February 5, 2024 22:00 11s
pages build and deployment pages-build-deployment #192: by djvelleman
February 5, 2024 22:00 36s main
main
February 5, 2024 22:00 36s
Add "decide" to list of keywords to highlight CI #220: Commit c24f26b pushed by djvelleman
February 4, 2024 22:44 10s main
main
February 4, 2024 22:44 10s