Skip to content

Actions: Origami233333/EG

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Fill a sorry in Line.lean
Build #3: Commit fcd7a04 pushed by Origami233333
January 17, 2024 13:17 4m 24s master
January 17, 2024 13:17 4m 24s
Merge branch 'jjdishere:master' into master
Build #2: Commit 88821aa pushed by Origami233333
January 17, 2024 12:42 3m 18s master
January 17, 2024 12:42 3m 18s
Merge branch 'jjdishere:master' into master
Build docs #1: Commit e3965f9 pushed by Origami233333
January 17, 2024 12:37 3m 19s master
January 17, 2024 12:37 3m 19s
Merge branch 'jjdishere:master' into master
Build #1: Commit e3965f9 pushed by Origami233333
January 17, 2024 12:37 3m 19s master
January 17, 2024 12:37 3m 19s