Skip to content

Actions: leanprover/reference-manual

Actions

Build and check HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
684 workflow runs
684 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: start simp chapter Build and check HTML #84: Pull request #36 opened by david-christiansen
September 20, 2024 13:37 7m 18s simp
simp
September 20, 2024 13:37 7m 18s
feat: tactics chapter (#34) Build and check HTML #83: Commit 2d0e44e pushed by david-christiansen
September 19, 2024 15:07 12m 32s main
main
September 19, 2024 15:07 12m 32s
feat: begin tactics chapter Build and check HTML #82: Pull request #34 synchronize by david-christiansen
September 19, 2024 14:58 8m 41s tactics
tactics
September 19, 2024 14:58 8m 41s
feat: begin tactics chapter Build and check HTML #81: Pull request #34 synchronize by david-christiansen
September 19, 2024 10:24 7m 46s tactics
tactics
September 19, 2024 10:24 7m 46s
feat: begin tactics chapter Build and check HTML #80: Pull request #34 synchronize by david-christiansen
September 19, 2024 06:09 6m 42s tactics
tactics
September 19, 2024 06:09 6m 42s
feat: begin tactics chapter Build and check HTML #79: Pull request #34 synchronize by david-christiansen
September 19, 2024 05:45 8m 47s tactics
tactics
September 19, 2024 05:45 8m 47s
feat: begin tactics chapter Build and check HTML #78: Pull request #34 synchronize by david-christiansen
September 18, 2024 14:34 11m 2s tactics
tactics
September 18, 2024 14:34 11m 2s
feat: begin tactics chapter Build and check HTML #77: Pull request #34 synchronize by david-christiansen
September 16, 2024 15:35 8m 3s tactics
tactics
September 16, 2024 15:35 8m 3s
feat: begin tactics chapter Build and check HTML #76: Pull request #34 synchronize by david-christiansen
September 13, 2024 13:29 6m 35s tactics
tactics
September 13, 2024 13:29 6m 35s
feat: begin tactics chapter Build and check HTML #75: Pull request #34 synchronize by david-christiansen
September 13, 2024 13:16 10m 10s tactics
tactics
September 13, 2024 13:16 10m 10s
feat: begin tactics chapter Build and check HTML #74: Pull request #34 synchronize by david-christiansen
September 11, 2024 16:06 7m 39s tactics
tactics
September 11, 2024 16:06 7m 39s
chore: word count reports in CI (#35) Build and check HTML #73: Commit bab544a pushed by david-christiansen
September 11, 2024 16:04 9m 13s main
main
September 11, 2024 16:04 9m 13s
chore: word count reports in CI Build and check HTML #72: Pull request #35 synchronize by david-christiansen
September 11, 2024 15:52 6m 34s wordcount
wordcount
September 11, 2024 15:52 6m 34s
chore: word count reports in CI Build and check HTML #71: Pull request #35 synchronize by david-christiansen
September 11, 2024 14:55 3m 3s wordcount
wordcount
September 11, 2024 14:55 3m 3s
chore: word count reports in CI Build and check HTML #70: Pull request #35 synchronize by david-christiansen
September 11, 2024 14:45 2m 55s wordcount
wordcount
September 11, 2024 14:45 2m 55s
chore: word count reports in CI Build and check HTML #69: Pull request #35 synchronize by david-christiansen
September 11, 2024 14:37 5m 48s wordcount
wordcount
September 11, 2024 14:37 5m 48s
chore: word count reports in CI Build and check HTML #68: Pull request #35 synchronize by david-christiansen
September 11, 2024 14:28 6m 3s wordcount
wordcount
September 11, 2024 14:28 6m 3s
chore: word count reports in CI Build and check HTML #67: Pull request #35 synchronize by david-christiansen
September 11, 2024 14:22 5m 50s wordcount
wordcount
September 11, 2024 14:22 5m 50s
chore: word count reports in CI Build and check HTML #66: Pull request #35 synchronize by david-christiansen
September 11, 2024 13:51 6m 7s wordcount
wordcount
September 11, 2024 13:51 6m 7s
chore: word count reports in CI Build and check HTML #65: Pull request #35 opened by david-christiansen
September 11, 2024 13:34 9m 46s wordcount
wordcount
September 11, 2024 13:34 9m 46s
feat: begin tactics chapter Build and check HTML #64: Pull request #34 synchronize by david-christiansen
September 11, 2024 13:30 6m 12s tactics
tactics
September 11, 2024 13:30 6m 12s
feat: begin tactics chapter Build and check HTML #63: Pull request #34 synchronize by david-christiansen
September 11, 2024 13:29 5m 59s tactics
tactics
September 11, 2024 13:29 5m 59s
feat: begin tactics chapter Build and check HTML #62: Pull request #34 synchronize by david-christiansen
September 10, 2024 22:01 7m 28s tactics
tactics
September 10, 2024 22:01 7m 28s
feat: begin tactics chapter Build and check HTML #61: Pull request #34 synchronize by david-christiansen
September 10, 2024 21:37 9m 45s tactics
tactics
September 10, 2024 21:37 9m 45s
feat: begin tactics chapter Build and check HTML #60: Pull request #34 opened by david-christiansen
September 6, 2024 20:53 5m 44s tactics
tactics
September 6, 2024 20:53 5m 44s
ProTip! You can narrow down the results and go further in time using created:<2024-09-06 or the other filters available.