Skip to content

Actions: MysaaJava/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #65 from MysaaJava/master Nix CI for bundle rocq-9.0 #8: Commit 8a78dad pushed by MysaaJava
3m 4s master
master
3m 4s
Merge pull request #65 from MysaaJava/master Nix CI for bundle rocq-9.1 #8: Commit 8a78dad pushed by MysaaJava
10m 58s master
master
10m 58s
Removed fresh-type (now useless), merged param for global and pglobal Nix CI for bundle rocq-9.0 #7: Commit f1c5324 pushed by MysaaJava
5m 33s master
master
5m 33s
Removed fresh-type (now useless), merged param for global and pglobal Nix CI for bundle rocq-9.1 #7: Commit f1c5324 pushed by MysaaJava
5m 41s master
master
5m 41s
Merge pull request #64 from MysaaJava/aterm Nix CI for bundle rocq-9.0 #6: Commit 4ed783c pushed by MysaaJava
2m 58s master
master
2m 58s
Merge pull request #64 from MysaaJava/aterm Nix CI for bundle rocq-9.1 #6: Commit 4ed783c pushed by MysaaJava
3m 41s master
master
3m 41s
Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle rocq-9.0 #5: Commit 879f430 pushed by MysaaJava
2m 14s master
master
2m 14s
Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle rocq-9.1 #5: Commit 879f430 pushed by MysaaJava
2m 16s master
master
2m 16s
Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle coq-8.20 #5: Commit 879f430 pushed by MysaaJava
2m 20s master
master
2m 20s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle coq-8.20 #4: Commit 863de07 pushed by MysaaJava
2m 13s master
master
2m 13s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle rocq-9.1 #4: Commit 863de07 pushed by MysaaJava
2m 13s master
master
2m 13s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle rocq-9.0 #4: Commit 863de07 pushed by MysaaJava
2m 14s master
master
2m 14s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle coq-8.20 #3: Commit 97d63fb pushed by MysaaJava
5m 27s master
master
5m 27s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle rocq-9.0 #3: Commit 97d63fb pushed by MysaaJava
7m 0s master
master
7m 0s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle rocq-9.1 #3: Commit 97d63fb pushed by MysaaJava
4m 50s master
master
4m 50s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle rocq-9.0 #2: Commit 2ec8193 pushed by MysaaJava
5m 4s master
master
5m 4s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle coq-8.20 #2: Commit 2ec8193 pushed by MysaaJava
5m 6s master
master
5m 6s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle rocq-9.1 #2: Commit 2ec8193 pushed by MysaaJava
11m 7s master
master
11m 7s
Nix CI for bundle coq-8.20 Nix CI for bundle coq-8.20 #1: by MysaaJava
3m 27s master
master
3m 27s
Nix CI for bundle rocq-9.0 Nix CI for bundle rocq-9.0 #1: by MysaaJava
7m 21s master
master
7m 21s
Nix CI for bundle rocq-9.1 Nix CI for bundle rocq-9.1 #1: by MysaaJava
6m 7s master
master
6m 7s