Skip to content

Actions: coq/platform-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Tutorial_Chaining_Tactics.v Docker CI #113: Commit 0d3ab6e pushed by thomas-lamiaux
November 2, 2024 16:02 3m 4s main
main
November 2, 2024 16:02 3m 4s
Tutorial Chaining Tactics (#66) Docker CI #112: Commit e967e25 pushed by thomas-lamiaux
November 2, 2024 15:55 3m 9s main
main
November 2, 2024 15:55 3m 9s
Tutorial Chaining Tactics Docker CI #111: Pull request #66 synchronize by thomas-lamiaux
November 2, 2024 15:52 2m 51s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
November 2, 2024 15:52 2m 51s
Tutorial Chaining Tactics Docker CI #110: Pull request #66 synchronize by thomas-lamiaux
November 2, 2024 15:50 2m 57s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
November 2, 2024 15:50 2m 57s
Tutorial Chaining Tactics Docker CI #109: Pull request #66 synchronize by thomas-lamiaux
November 1, 2024 01:21 2m 55s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
November 1, 2024 01:21 2m 55s
Tutorial Chaining Tactics Docker CI #108: Pull request #66 synchronize by thomas-lamiaux
October 30, 2024 18:38 2m 47s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 30, 2024 18:38 2m 47s
Tutorial Chaining Tactics Docker CI #107: Pull request #66 synchronize by thomas-lamiaux
October 30, 2024 16:38 2m 55s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 30, 2024 16:38 2m 55s
Tutorial Chaining Tactics Docker CI #106: Pull request #66 synchronize by thomas-lamiaux
October 30, 2024 16:37 2m 44s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 30, 2024 16:37 2m 44s
Tutorial Chaining Tactics Docker CI #105: Pull request #66 synchronize by thomas-lamiaux
October 30, 2024 16:35 2m 45s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 30, 2024 16:35 2m 45s
Tutorial Chaining Tactics Docker CI #104: Pull request #66 synchronize by thomas-lamiaux
October 30, 2024 02:22 2m 46s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 30, 2024 02:22 2m 46s
Tutorial Chaining Tactics Docker CI #103: Pull request #66 synchronize by thomas-lamiaux
October 30, 2024 02:19 2m 51s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 30, 2024 02:19 2m 51s
Tutorial Chaining Tactics Docker CI #102: Pull request #66 synchronize by thomas-lamiaux
October 30, 2024 02:05 2m 45s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 30, 2024 02:05 2m 45s
Tutorial Chaining Tactics Docker CI #101: Pull request #66 synchronize by thomas-lamiaux
October 29, 2024 23:52 2m 44s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 29, 2024 23:52 2m 44s
Update index.html Docker CI #100: Commit 0d62ffe pushed by thomas-lamiaux
October 29, 2024 14:19 3m 20s main
main
October 29, 2024 14:19 3m 20s
Update index.html Docker CI #99: Commit 538ca20 pushed by thomas-lamiaux
October 29, 2024 14:09 3m 25s main
main
October 29, 2024 14:09 3m 25s
Update README.md Docker CI #98: Commit b0f4528 pushed by thomas-lamiaux
October 29, 2024 14:06 3m 17s main
main
October 29, 2024 14:06 3m 17s
Update Equations tutorial for coq-equations 1.3.1 Docker CI #97: Pull request #68 opened by Lysxia
October 28, 2024 22:38 2m 30s Lysxia:equations-update
Lysxia:equations-update
October 28, 2024 22:38 2m 30s
Tutorial Chaining Tactics Docker CI #96: Pull request #66 synchronize by thomas-lamiaux
October 28, 2024 18:26 2m 52s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 28, 2024 18:26 2m 52s
Tutorial Chaining Tactics Docker CI #95: Pull request #66 synchronize by thomas-lamiaux
October 28, 2024 02:27 2m 42s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 28, 2024 02:27 2m 42s
Tutorial Chaining Tactics Docker CI #94: Pull request #66 opened by thomas-lamiaux
October 28, 2024 02:14 2m 36s thomas-lamiaux:tuto-chaining-tactics
thomas-lamiaux:tuto-chaining-tactics
October 28, 2024 02:14 2m 36s
Update template.md Docker CI #93: Commit bb4ff98 pushed by thomas-lamiaux
October 27, 2024 16:32 3m 9s main
main
October 27, 2024 16:32 3m 9s
Pin version of Coq used in CI. (#65) Docker CI #92: Commit fd7266e pushed by thomas-lamiaux
October 21, 2024 12:53 3m 58s main
main
October 21, 2024 12:53 3m 58s
Pin version of Coq used in CI. Docker CI #91: Pull request #65 opened by Zimmi48
October 21, 2024 10:18 2m 46s fix-ci
fix-ci
October 21, 2024 10:18 2m 46s
Remove Restart and ltac:(...) (#63) Docker CI #90: Commit 2ebf6ef pushed by thomas-lamiaux
October 18, 2024 17:10 2m 33s main
main
October 18, 2024 17:10 2m 33s
Remove Restart and ltac:(...) Docker CI #89: Pull request #63 synchronize by thomas-lamiaux
October 18, 2024 10:00 2m 31s thomas-lamiaux:improve-eq-wf
thomas-lamiaux:improve-eq-wf
October 18, 2024 10:00 2m 31s