Skip to content

Actions: groupoid/laurent

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Parser developments opam #67: Commit 5f77a2a pushed by Jealrock
11s syntax
syntax
11s
Parser developments opam #66: Commit 03f70fd pushed by Jealrock
1m 2s syntax
syntax
1m 2s
Updated references opam #65: Commit 3e15f23 pushed by Jealrock
19m 24s main
main
19m 24s
pages build and deployment pages-build-deployment #234: by Jealrock
53s main
main
53s
Times -> Mul opam #64: Commit eb1e25f pushed by 5HT
20m 5s main
main
20m 5s
pages build and deployment pages-build-deployment #233: by 5HT
44s main
main
44s
Merge pull request #4 from groupoid/cleanup opam #63: Commit a3fd886 pushed by 5HT
16m 20s main
main
16m 20s
pages build and deployment pages-build-deployment #232: by 5HT
43s main
main
43s
Removed duplicated workflow run on PR creation opam #62: Commit 09b8706 pushed by Jealrock
15m 50s cleanup
cleanup
15m 50s
Minor improvements opam #61: Pull request #4 opened by Jealrock
1m 17s cleanup
cleanup
1m 17s
Clear warnings opam #60: Commit f530e9d pushed by Jealrock
15m 59s cleanup
cleanup
15m 59s
Merge pull request #3 from groupoid/improve-test-suite opam #59: Commit 7029265 pushed by 5HT
15m 28s main
main
15m 28s
pages build and deployment pages-build-deployment #231: by 5HT
35s main
main
35s
Colorize opam #57: Commit 7859efe pushed by Jealrock
15m 40s improve-test-suite
improve-test-suite
15m 40s
Merge pull request #2 from groupoid/add-install-section opam #54: Commit 56df994 pushed by 5HT
16m 15s main
main
16m 15s
pages build and deployment pages-build-deployment #230: by 5HT
40s main
main
40s
Update main.yml opam #51: Commit 96ac6ba pushed by 5HT
16m 14s main
main
16m 14s
pages build and deployment pages-build-deployment #229: by 5HT
50s main
main
50s
pages build and deployment pages-build-deployment #228: by 5HT
48s main
main
48s
pages build and deployment pages-build-deployment #227: by 5HT
50s main
main
50s
pages build and deployment pages-build-deployment #226: by 5HT
50s main
main
50s
pages build and deployment pages-build-deployment #225: by 5HT
46s main
main
46s
pages build and deployment pages-build-deployment #224: by 5HT
40s main
main
40s
pages build and deployment pages-build-deployment #223: by 5HT
39s main
main
39s
pages build and deployment pages-build-deployment #222: by 5HT
41s main
main
41s