Skip to content

Actions: idris-lang/idris-lang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[release] Update the Download page for 0.7.0 Deploy Pelican site to GH Pages #32: Commit db2bf68 pushed by CodingCellist
July 22, 2025 12:54 27s main
main
July 22, 2025 12:54 27s
Fix links to API docs Deploy Pelican site to GH Pages #31: Commit ec0402f pushed by CodingCellist
July 21, 2025 11:22 36s main
main
July 21, 2025 11:22 36s
Make github link go to idris-lang org, not edwinb Deploy Pelican site to GH Pages #30: Commit 5456a52 pushed by CodingCellist
July 21, 2025 11:22 28s main
main
July 21, 2025 11:22 28s
[meta] Make the GH site the default site!! Deploy Pelican site to GH Pages #29: Commit e7aec34 pushed by CodingCellist
July 18, 2025 14:36 33s main
main
July 18, 2025 14:36 33s
[post] Be less self-deprecating Deploy Pelican site to GH Pages #28: Commit 73422ed pushed by CodingCellist
July 18, 2025 13:57 42s main
main
July 18, 2025 13:57 42s
[ci] Fix to actually run on pushing to main branch Deploy Pelican site to GH Pages #27: Commit 68a507a pushed by CodingCellist
July 18, 2025 13:52 38s main
main
July 18, 2025 13:52 38s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #26: Manually run by CodingCellist
July 11, 2025 16:02 1m 0s main
main
July 11, 2025 16:02 1m 0s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #25: Manually run by CodingCellist
July 10, 2025 15:49 1m 57s main
main
July 10, 2025 15:49 1m 57s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #24: Manually run by CodingCellist
July 10, 2025 15:46 21s main
main
July 10, 2025 15:46 21s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #23: Manually run by CodingCellist
July 10, 2025 15:43 20s main
main
July 10, 2025 15:43 20s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #22: Manually run by CodingCellist
July 10, 2025 15:39 1s main
main
July 10, 2025 15:39 1s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #21: Manually run by CodingCellist
July 10, 2025 15:34 15s main
main
July 10, 2025 15:34 15s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #20: Manually run by CodingCellist
July 10, 2025 15:32 1s main
main
July 10, 2025 15:32 1s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #19: Manually run by CodingCellist
July 10, 2025 15:27 Startup failure main
main
July 10, 2025 15:27 Startup failure
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #18: Manually run by CodingCellist
July 10, 2025 15:18 1s main
main
July 10, 2025 15:18 1s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #17: Manually run by CodingCellist
July 10, 2025 15:12 2s main
main
July 10, 2025 15:12 2s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #16: Manually run by CodingCellist
July 10, 2025 14:02 15s main
main
July 10, 2025 14:02 15s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #15: Manually run by CodingCellist
July 10, 2025 09:03 17s main
main
July 10, 2025 09:03 17s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #14: Manually run by CodingCellist
July 10, 2025 08:54 1s main
main
July 10, 2025 08:54 1s
Deploy Pelican site to GH Pages Deploy Pelican site to GH Pages #13: Manually run by CodingCellist
March 16, 2025 18:24 6s main
main
March 16, 2025 18:24 6s