Skip to content

Actions: Alex1005a/Idris2

Actions

Bootstrap

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-bootstrap.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[RefC] resolve conflicts Bootstrap #4: Commit 149de50 pushed by Alex1005a
February 4, 2024 17:51 7m 23s reuse-analysis
reuse-analysis
February 4, 2024 17:51 7m 23s
Merge pull request #3203 from seagull-kamome/simplify_constcase_branch Bootstrap #3: Commit c74f54c pushed by Alex1005a
February 4, 2024 14:06 7m 34s main
main
February 4, 2024 14:06 7m 34s
Fix executable output of buildIdris nix helper (#3188) Bootstrap #2: Commit da6f0b0 pushed by Alex1005a
January 11, 2024 11:35 7m 48s main
main
January 11, 2024 11:35 7m 48s
Merge branch 'main' into reuse-analysis Bootstrap #1: Commit d2d0e53 pushed by Alex1005a
December 29, 2023 23:11 7m 47s reuse-analysis
reuse-analysis
December 29, 2023 23:11 7m 47s